Pilih silabus pada checkbox atau tulis pada form
Body
jika ada silabus yang ingin ditambahkan
Title
Silabus
Reactive system, reactive system modeling, methods for verification and validation, checking model.
Model checking Linear-Time properties: Linear-Time Logic (LTL), regular properties, and checking model.
Model checking with Computation-Tree Logic.
State compression techniques: equivalence, abstraction and partial order reduction.
Model checker for LTL and CTL: SPIN.
Checking model Timed properties, Timed automata, Timed-CTL checking model.
Model checker for TCTL: Uppaal.
Introduction to probabilistic system modeling.
Body (tulis apabila ada silabus yang ingin ditambahkan)
Pilih durasi video dan tanggal publikasi video (opsional)
Pilih durasi video:
Any (durasi video bebas)
Long (lebih dari 20 menit)
Medium (antara 4 dan 20 menit)
Short (kurang dari 4 menit)
Tanggal publikasi (menampilkan video sebelum tanggal publikasi):