IA159 Formal Methods for Software Analysis
Bounded Model Checking, k-Induction
This lecture will not be examined.
Sources
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/IA159/um/DHKR11.pdf
Následující