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 2022

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 14. 2. 2022 do 20. 2. 2022.
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 21. 2. 2022 do 27. 2. 2022.
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 28. 2. 2022 do 13. 3. 2022.

Partial Order Reduction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 14. 3. 2022 do 27. 3. 2022.
Abstraction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 28. 3. 2022 do 17. 4. 2022.
Static Analysis and Abstract Interpretation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 18. 4. 2022 do 24. 4. 2022.
Shape Analysis via 3-Valued Logic
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 25. 4. 2022 do 1. 5. 2022.
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 2. 5. 2022 do 8. 5. 2022.
Property Directed Reachability (PDR/IC3)
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 9. 5. 2022 do 15. 5. 2022.

Předchozí
Následující