Práce na stejné téma (mají shodná klíčová slova):

verification witnesses

Klíčová slova abecedně | Klíčová slova dle četnosti

Validation of Violation Witnesses in Software Verification
 (Paulína Ayaziová)

2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/zuyyc/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma

Klee-Based Error Witness Checker
 (Paulína Ayaziová)

2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/rnv19/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma