IA159 Formal Verification Methods
Shape Analysis via 3-Valued Logic
TVLA output:
Lecture was given on April 27, 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/08_shape.mp4