IA159 Formal Verification Methods
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Verification Methods
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Verification Methods
Info
Předmět
Období
jaro 2023

Preliminaries, Content of the Course, Examination, Literature
Přejít
Kapitola obsahuje:
1
PDF
1
Složka
1
Studijní text
Programme
Přejít
Kapitola obsahuje:
1
Studijní text
Introduction
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 13. 2. 2023 do 19. 2. 2023.
Pushdown Systems: Reachability (and LTL Model Checking)
Přejít
Kapitola obsahuje:
1
PDF
2
Video
1
Studijní text
Učitel doporučuje studovat od 20. 2. 2023 do 26. 2. 2023.

Partial Order Reduction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 27. 2. 2023 do 12. 3. 2023.
Abstraction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 13. 3. 2023 do 26. 3. 2023.
Static Analysis and Abstract Interpretation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 27. 3. 2023 do 2. 4. 2023.
Shape Analysis via 3-Valued Logic
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 3. 4. 2023 do 16. 4. 2023.
Verification via Automata, Symbolic Execution, and Interpolation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 17. 4. 2023 do 23. 4. 2023.
Theorem Prover ACL2
Přejít
Kapitola obsahuje:
2
PDF
1
Studijní materiály
1
Video
1
Studijní text
Učitel doporučuje studovat od 24. 4. 2023 do 14. 5. 2023.
Property Directed Reachability (PDR/IC3)
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 15. 5. 2023 do 21. 5. 2023.

Předchozí
Následující