Theses on the same topic (having an identical keyword):
checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Symbolic Model Checking via Program Transformations
(Henrich Lauko)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/owq0x/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Craig's Interpolant in Model Checking Algorithms
(Viktória Vozárová)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
LLVM Transformations for Model Checking
(Vladimír Štill)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/buw8x/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Refined Büchi automata for faster model checking
(Vojtěch Rujbr)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Theses on a related topic
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Theses on a related topic
Design and Development of a mobile application for attendance checking with QR code
(Menghour Pech)2023, Bakalářská práce, Provozně ekonomická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//t0g2b7// | Informatics / | Theses on a related topic
Tvorba vícejazyčné datové sady pro fact-checking z existujících dat pro odpovídání na otázky
(Daniel Kamenický)2023, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//mhu8qd// | Informační technologie a umělá inteligence / | Theses on a related topic
HyperLTL Model Checking
(Ondrej Alexaj)2024, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//7u1162// | Informační technologie / | Theses on a related topic
Partial Order Reduction in Parallel Model Checking
(Petr Ročkai)2010, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p04i0/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Designing Data-Parallel Graph Algorithms for Model Checking
(Milan Češka)2012, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Theses on a related topic