Theses on the same topic (having an identical keyword):

witness validation

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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 | Theses on a related topic

List of theses with an identical keyword.

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ů | Theses on a related topic

Dokazovanie v trestnom konaní
 (Jaroslav Sloboda)

2010, Bakalářská práce, Právnická fakulta / Masarykova univerzita

• https://is.muni.cz/th/f1z9l/ | Právní specializace / Teorie a praxe přípravného řízení trestního | Theses on a related topic