IA159 Formal Methods for Software Analysis
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Methods for Software Analysis
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Methods for Software Analysis
Info
Předmět
Období
podzim 2023

Content of the Course, Examination, Literature
Přejít
Kapitola obsahuje:
1
Studijní text
Introduction & Coverage Criteria for Tests
Přejít
Kapitola obsahuje:
2
PDF
Učitel doporučuje studovat od 18. 9. 2023 do 1. 10. 2023.
Greybox Fuzzing: American Fuzzy Lop
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
2
Web
Učitel doporučuje studovat od 2. 10. 2023 do 8. 10. 2023.
Deductive Verification
Přejít
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 9. 10. 2023 do 15. 10. 2023.

Abstract Interpretation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 16. 10. 2023 do 22. 10. 2023.
Program Slicing and Points-to Analysis
Přejít
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 23. 10. 2023 do 29. 10. 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 30. 10. 2023 do 5. 11. 2023.
Symbolic Execution and Automated Whitebox Fuzz Testing
Přejít
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 6. 11. 2023 do 12. 11. 2023.
Configurable Program Analysis
Přejít
Kapitola obsahuje:
2
PDF
1
Studijní text
Učitel doporučuje studovat od 13. 11. 2023 do 19. 11. 2023.
Verification via Automata, Symbolic Execution, and Interpolation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Verification WItnesses and SV-COMP
Přejít
Kapitola obsahuje:
2
PDF
1
Studijní text
Učitel doporučuje studovat od 27. 11. 2023 do 3. 12. 2023.
SSA, Bounded Model Checking, k-Induction
Přejít
Kapitola obsahuje:
3
PDF
1
Studijní text
Učitel doporučuje studovat od 4. 12. 2023 do 10. 12. 2023.

Předchozí
Následující