IA159 Formal Verification Methods
Property-Directed Reachability (PDR/IC3)
Lecture was given on May 11, 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/10_pdr.mp4
Následující