IA159 Formal Methods for Software Analysis
Verification via Automata, Symbolic Execution, and Interpolation
This method is implemented in the tool Ultimate Automizer.
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/IA159/um/videos/lecture11.mp4