IA169 Model Checking
Abstraction and CEGAR
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2023/IA159/um/videos/06_abs_part1.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2023/IA159/um/videos/06_abs_part2.m4v