DiVinE - Prostředí pro distribuovanou verifikaci – RNDr. Pavel Šimeček, Ph.D.
RNDr. Pavel Šimeček, Ph.D.
Master's thesis
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 10. 2. 2006
Identifier:
https://is.muni.cz/th/ze1rj/
Thesis defence
- Date of defence: 10. 2. 2006
- Supervisor: prof. RNDr. Luboš Brim, CSc.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Informatics
Theses on a related topic
-
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 -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
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