Theses on the same topic (having an identical keyword):
automaticka formalni verifikaceKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
Parameter Synthesis for Systems with Real Time
(Peter Bezděk)2014, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c3v4n/ | Informatika / | Theses on a related topic