Práce na stejné téma (mají shodná klíčová slova):
checkingKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
Limits of efficient FO model checking of geometric graphs
(Filip Pokrývka)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qly2r/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Interface for Integration of Language Checking Tools to Text Editing Software
(Jan Tojnar)2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tdwst/ | Aplikovaná informatika / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
HyperLTL Model Checking
(Ondrej Alexaj)2024, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//7u1162// | Informační technologie / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
GPU Accelerated Enumerative Model Checking
(Milan Češka)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dlvdw/ | Informatika / | Práce na příbuzné téma