Práce na stejné téma (mají shodná klíčová slova):
relaxed memoryKlíčová slova abecedně | Klíčová slova dle četnosti
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
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
Abstractions via Program Transformations
(Henrich Lauko)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uqf69/ | Teoretická informatika / | Práce na příbuzné téma
String Analysis for Software Verification
(Martina Olliaro)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | Práce na příbuzné téma
Validation of Violation Witnesses in Software Verification
(Paulína Ayaziová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zuyyc/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Program Slicing and Symbolic Execution for Verification
(Marek Chalupa)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jpz0i/ | Informatika / Fundamenty informatiky | 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
Implementace metod stavové diagnostiky v existujícím software pro aktivní magnetické ložiska
(Radek Pujman)2016, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci
• http://theses.cz/id//pgizqp// | Electrical Engineering and Informatics / Mechatronics | 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
Relaxed Memory Models in DiVinE
(Vojtěch Havel)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yrkfl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma