Práce na stejné téma (mají shodná klíčová slova):
parallel verificationKlíčová slova abecedně | Klíčová slova dle četnosti
Verification of Parallel Applications
(Ondřej Meca)2018, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/137504 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | 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
Parallel Quantitative Analysis of Probabilistic Systems
(Milan Češka)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c9ujz/ | Informatika / | Práce na příbuzné téma
Quantitative Probabilistic Verification in Distributed Environment
(Jiří Appl)2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hrhwt/ | Informatika / Paralelní a distribuované systémy | 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
Memory-Model-Aware Analysis of Parallel Programs
(Vladimír Štill)2017, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uuunu/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Verifikace paralelní hashovací tabulky z knihovny Folly
(Jakub Kadaši)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oeqnx/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Paralelní verifikace LTL(F,G) vlastností
(Jitka Kudrnáčová)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qanl7/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
(Jana Tůmová)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n10ay/ | Aplikovaná informatika / | Práce na příbuzné téma
Automatické dokazování správnosti paralelních programů
(Vojtěch Pikal)2010, Bakalářská práce, Přírodovědecká fakulta / Univerzita Palackého
• http://theses.cz/id//jy655a// | Informatika / | Práce na příbuzné téma