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 2021

Preliminaries, Content of the Course, Examination, Literature
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní text
1
Web
Programme
Přejít
Kapitola obsahuje:
1
Studijní text
Učitel doporučuje studovat od 1. 3. 2021 do 30. 5. 2021.
Introduction
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 1. 3. 2021 do 7. 3. 2021.
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 8. 3. 2021 do 14. 3. 2021.
Pushdown Systems: Reachability and LTL Model Checking
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 15. 3. 2021 do 28. 3. 2021.

Partial Order Reduction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
Učitel doporučuje studovat od 29. 3. 2021 do 18. 4. 2021.
Abstraction
Přejít
Kapitola obsahuje:
1
PDF
2
Video
1
Studijní text
Učitel doporučuje studovat od 19. 4. 2021 do 2. 5. 2021.
Static Analysis and Abstract Interpretation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 3. 5. 2021 do 9. 5. 2021.
Shape Analysis via 3-Valued Logic
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 10. 5. 2021 do 16. 5. 2021.
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. 5. 2021 do 23. 5. 2021.
Property Directed Reachability (PDR/IC3)
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 24. 5. 2021 do 30. 5. 2021.

Předchozí
Následující