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 2024

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 23. 9. 2024 do 29. 9. 2024.
Greybox Fuzzing: American Fuzzy Lop
Přejít
Kapitola obsahuje:
1
PDF
1
Studijní materiály
2
Web
Učitel doporučuje studovat od 30. 9. 2024 do 6. 10. 2024.
Deductive Verification
Přejít
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 7. 10. 2024 do 13. 10. 2024.

Abstract Interpretation
Přejít
Kapitola obsahuje:
1
PDF
1
Video
Učitel doporučuje studovat od 14. 10. 2024 do 20. 10. 2024.
Program Slicing and Points-to Analysis
Přejít
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 21. 10. 2024 do 27. 10. 2024.
Shape Analysis via 3-Valued Logic
Přejít
Kapitola obsahuje:
1
PDF
1
Video
1
Studijní text
Učitel doporučuje studovat od 28. 10. 2024 do 3. 11. 2024.
Symbolic Execution and Automated Whitebox Fuzz Testing
Přejít
Kapitola obsahuje:
2
PDF
Učitel doporučuje studovat od 4. 11. 2024 do 10. 11. 2024.
Configurable Program Analysis
Přejít
Kapitola obsahuje:
2
PDF
1
Studijní text
Učitel doporučuje studovat od 11. 11. 2024 do 17. 11. 2024.
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 18. 11. 2024 do 24. 11. 2024.
Nyní studovat
Verification WItnesses and SV-COMP
Učitel doporučuje studovat nyní – od 25. 11. 2024 do 1. 12. 2024.
SSA, Bounded Model Checking, k-Induction
Učitel doporučuje studovat od 2. 12. 2024 do 8. 12. 2024.

Předchozí
Následující