IA169 Model Checking
prof. RNDr. Jan Strejček, Ph.D.
IA169 Model Checking
prof. RNDr. Jan Strejček, Ph.D.
IA169 Model Checking
Info
Předmět
Období
jaro 2024

Teaching, Literature, Examination
Přejít
Introduction
Přejít
Učitel doporučuje studovat od 19. 2. 2024 do 25. 2. 2024.
Automata-based LTL model checking
Přejít
Učitel doporučuje studovat od 26. 2. 2024 do 17. 3. 2024.
CTL model checking
Přejít
Učitel doporučuje studovat od 18. 3. 2024 do 24. 3. 2024.
Symbolic model checking for CTL
Přejít
Učitel doporučuje studovat od 25. 3. 2024 do 31. 3. 2024.
Bounded model checking and k-induction
Přejít
Učitel doporučuje studovat od 1. 4. 2024 do 7. 4. 2024.
Reachability in pushdown systems
Přejít
Učitel doporučuje studovat od 15. 4. 2024 do 21. 4. 2024.
Abstraction and CEGAR
Přejít
Učitel doporučuje studovat od 22. 4. 2024 do 5. 5. 2024.
Property directed reachability (PDR/IC3)
Přejít
Učitel doporučuje studovat od 6. 5. 2024 do 12. 5. 2024.

Předchozí
Následující