Práce na stejné téma (mají shodná klíčová slova):
formální verifikaceKlíčová slova abecedně | Klíčová slova dle četnosti
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
Formal Verification of Component Interaction in Component-Based Systems
(Nikola Beneš)2009, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ur7d1/ | Informatika / | 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
Quantitative Linear-Time Model Checking
(Jana Tůmová)2010, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/foeea/ | Informatika / | Práce na příbuzné téma
Formalní verifikace RISC-V procesoru s využitím Questa PropCheck
(Adrián Javor)2020, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//bt5s0u// | Elektrotechnika, elektronika, komunikační a řídicí technika / | Práce na příbuzné téma
Verifikace MPI programů pomocí DIVINE
(Marek Tomáštík)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/bu4gt/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Modelování stateflow diagramů pro účely verifikace
(Pavla Kratochvílová)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/r1zte/ | Informatika / Matematická informatika | Práce na příbuzné téma
Překladač jazyka VHDL pro potřeby formální verifikace
(Jiří Matyáš)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//udweu5// | Informační technologie / | Práce na příbuzné téma
Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
(Peter Kovalič)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//gqde5g// | Informační technologie / | 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