Theses on the same topic (having an identical keyword):
quantitative, formal, methodsKeywords ordered alphabetically | Keywords ordered by occurrence rate
String Analysis for Software Verification
(Martina Olliaro)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Theses on a related topic
Program Slicing and Symbolic Execution for Verification
(Marek Chalupa)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jpz0i/ | Informatika / Fundamenty informatiky | Theses on a related topic
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
Eletrical Verification Report Editor
(Marcel Lukčo)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vs9h8/ | Programování a vývoj aplikací / | Theses on a related topic
Electric distribution box verification system
(Andrej Lipták)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/syou0/ | Programování a vývoj aplikací / | Theses on a related topic
Signature verification
(Václav Novák)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pg7gr/ | Informatika / | Theses on a related topic