Theses on the same topic (having an identical keyword):
automatizovaná verifikaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
Efficient Computing Resources Usage in Model Checking
(Pavel Šimeček)2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/e3yhy/ | Informatika / | Theses on a related topic
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Theses on a related topic
Untimed LTL Model Checking of Timed Automata
(Jan Havlíček)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Verification of Name Service Cache Daemon with DIVINE Model Checker
(Milan Lenčo)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bd1wv/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Algebraický přístup k lineární temporální logice
(Karolína Malá)2013, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/rwhf9/ | Matematika / Algebra a diskrétní matematika | Theses on a related topic
Topologie času a temporální logika
(Jakub Vít)2014, Bakalářská práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/f1rh6/ | Filozofie / | Theses on a related topic
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Model Checking Software
(Petr Ročkai)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tpopu/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Theses on a related topic
Parallel Breadth-First Search in LTL Model-Checking
(Jiří Barnat)2006, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zk960/ | Informatika / | Theses on a related topic
External Memory LTL Model Checking
(Pavel Šimeček)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Theses on a related topic