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 11 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

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

Implementace podnikového modelu kompetencí
 (Kamila Riegerová)

2010, Diplomová práce, Vysoká škola ekonomická v Praze

http://www.vse.cz/vskp/eid/23642 | Ekonomika a management / Podniková ekonomika a management | 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

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 / | 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

« 1 2 » (celkem 11 prací)