Práce na stejné téma (mají shodná klíčová slova):
Formal VerificationKlíč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
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 | Práce na příbuzné téma
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
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 | Práce na příbuzné téma
Reduction and Abstraction Techniques for Model Checking
(Radek Pelánek)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xrsgd/ | Informatika / | Práce na příbuzné téma
Verifikace CTL vlastností v nástroji DiVinE
(Šimon Vanický)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mh9a9/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Analysis of Parallel C++ Programs
(Vladimír Štill)2020, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r9kjw/ | Informatika (čtyřleté) / Počítačové systémy a technologie | Práce na příbuzné téma