Verifikační manažer pro explicitní ověřování modelu – Bc. Václav Rosecký
Bc. Václav Rosecký
Master's thesis
Verifikační manažer pro explicitní ověřování modelu
Verification manager for explicit model checking
Abstract:
Předmětem této práce je implementace a experimentální vyhodnocení verifikačního manažera pro ověřování modelů, což je nástroj pro efektivní spouštění verifikačních technik v distribuovaném prostředí. Verifikační proces je řízen na základě uživatelem dodané obecné verifikační strategie.Abstract:
The subject of the thesis is implementation and experimental evaluation of verification manager for model checking, which is a tool for efficient execution of verification techniques in distributed environment. The verification process is driven by general verification strategy.
Language used: Czech
Date on which the thesis was submitted / produced: 11. 1. 2010
Identifier:
https://is.muni.cz/th/i2qqj/
Thesis defence
- Date of defence: 8. 2. 2010
- Supervisor: doc. Mgr. Radek Pelánek, Ph.D.
- Reader: prof. RNDr. Jiří Barnat, Ph.D.
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:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Untimed LTL Model Checking of Timed Automata
Jan Havlíček -
API pro monitorování chování programů v kontextu nástroje DIVINE
Tadeáš Kučera -
Porovnání nástrojů pro paralelní LTL model checking
Marek Tomáštík -
State space compression for the DiVinE model checker
Vladimír Štill