Zpět na vyhledávání

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.
 

Keywords

verifikační manažer verification manager ověřování modelů model checking detekce chyb error detection DiVinE LTL
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.