Theses on the same topic (having an identical keyword):
model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Basic Model Checking Problems for Stochastic Games
(Václav Brožek)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Untimed LTL Model Checking of Timed Automata
(Jan Havlíček)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Model Checking of promt-LTL properties
(Ondřej Kuzník)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fpfgf/ | Informatika / | Theses on a related topic
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Theses on a related topic
Využití techniky "Model checking" pro vývoj bezpečnostně kritických aplikací
(Tomáš AUSBERGER)2017, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//4d4xu6// | Aplikované vědy a informatika / Kybernetika a řídicí technika | Theses on a related topic
Nástoj pro abstraktní regulární stromový model checking
(Patrik Mráz)2017, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//3lv18r// | Informační technologie / | Theses on a related topic
Bounded model checking v nástroji Java PathFinder
(Vendula Dudka)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//ref6wd// | Informační technologie / | Theses on a related topic