DiVinE - Prostředí pro distribuovanou verifikaci – RNDr. Pavel Šimeček, Ph.D.
RNDr. Pavel Šimeček, Ph.D.
Diplomová práce
DiVinE - Prostředí pro distribuovanou verifikaci
DiVinE - Distributed Verification Environment
Abstract:
Automated verification of practical systems is computationally very hard. One of possibilities to verify extensive systems is to use the accumulated power of computer clusters. Recently, many distributed algorithms for model checking have been developed. The objectives of the DIVINE project are to create an environment for development of distributed algorithms and simultaneously to provide a set of …víceKlíčová slova
model checking model checker DiVinE modeling language DVE temporal logic LTL distributed
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 10. 2. 2006
Identifikátor:
https://is.muni.cz/th/ze1rj/
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 2. 2006
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
Refined Büchi automata for faster model checking
Vojtěch Rujbr -
Model Checking Software
Petr Ročkai -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Model Checking Software
Petr Ročkai -
Partial Order Reduction in Parallel Model Checking
Petr Ročkai -
API pro monitorování chování programů v kontextu nástroje DIVINE
Tadeáš Kučera -
Simulátor pro modelovací jazyk nástroje DiVinE
Martin Moráček