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