Theses on the same topic (having an identical keyword):
safety checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Safety Checkers for Termination Proofs
(Jiří Zárevúcky)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/h4iwh/ | Informatika / Paralelní a distribuované systémy | 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
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
Improving out-of-bound access checking in Symbiotic
(Anna Řechtáčková)2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tmq7m/ | Aplikovaná informatika / | Theses on a related topic
Reduction and Abstraction Techniques for Model Checking
(Radek Pelánek)2006, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xrsgd/ | Informatika / | Theses on a related topic
Ověřování bezpečnosti elektrických zařízení
(Petra Marie SLAVKOVÁ)2012, Diplomová práce, Fakulta elektrotechnická / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//9evrty// | Aplikovaná elektrotechnika / | Theses on a related topic