Kapitola obsahuje:
1
Studijní text
Kapitola obsahuje:
2
PDF
Učitel doporučuje studovat od 23. 9. 2024 do 29. 9. 2024.
Kapitola obsahuje:
1
PDF
1
Studijní materiály
2
Web
Učitel doporučuje studovat od 30. 9. 2024 do 6. 10. 2024.
Kapitola obsahuje:
1
PDF
Učitel doporučuje studovat od 7. 10. 2024 do 13. 10. 2024.
Abstract Interpretation
Učitel doporučuje studovat od 14. 10. 2024 do 20. 10. 2024.
Program Slicing and Points-to Analysis
Učitel doporučuje studovat od 21. 10. 2024 do 27. 10. 2024.
Shape Analysis via 3-Valued Logic
Učitel doporučuje studovat od 28. 10. 2024 do 3. 11. 2024.
Symbolic Execution and Automated Whitebox Fuzz Testing
Učitel doporučuje studovat od 4. 11. 2024 do 10. 11. 2024.
Configurable Program Analysis
Učitel doporučuje studovat od 11. 11. 2024 do 17. 11. 2024.
Verification via Automata, Symbolic Execution, and Interpolation
Učitel doporučuje studovat od 18. 11. 2024 do 24. 11. 2024.
Verification WItnesses and SV-COMP
Učitel doporučuje studovat 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í