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 2020


Preliminaries, Content of the Course, Examination, Literature
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní text
Pre-Pandemic Part of the Course: Programme & Slides
Přejít
Kapitola obsahuje:
3
PDF
1
Studijní text
Učitel doporučuje studovat od 17. 2. 2020 do 15. 3. 2020.

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

Předchozí
Následující