Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

formal verification

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 13 prací)
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

Formal Analysis of Stochastic Discrete Event Systems
 (Jan Krčál)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/x990g/ | Informatika / | 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

Nástroj pro verifikaci workflow sítě
 (Lukáš Potenský)

2009, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

http://hdl.handle.net/10084/73868 | Informační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Verification of probabilistic systems against quantified linear properties
 (Jana Tůmová)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/jjupx/ | Informatika / | Práce na příbuzné téma

API pro monitorování chování programů v kontextu nástroje DIVINE
 (Tadeáš Kučera)

2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/ay7v9/ | Matematika / Matematika s informatikou | Práce na příbuzné téma

Model Checking Software
 (Petr Ročkai)

2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/d966p/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Refined Büchi automata for faster model checking
 (Vojtěch Rujbr)

2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Práce na příbuzné téma

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 | Práce na příbuzné téma

« 1 2 » (celkem 13 prací)