IA159 Formal Verification Methods
Verification via Automata, Symbolic Execution, and Interpolation
This method is implemented in the tool Ultimate Automizer.
Lecture was given on May 4, 2020 at 10:30 in the form of a Google Meet teleconference. Here is its recording:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IA159/um/video_lectures/09_ultimate.mp4