Zpět na vyhledávání

Mgr. Jan Kriho

Bachelor's thesis

Post-mortem analýza stavového prostoru

Post mortem analysis of state space
Abstract:
Cílem BC práce je doplnit verifikační nástroj DiVinE 2.x o možnost exportu při verifikaci vypočteného stavového prostoru do souboru a jeho předzpracování pro případnou budoucí post-mortem analýzu, např. extrakci jiného v době ukončení programu spočítaného protipříkladu.
Abstract:
The goal of the thesis is to add feature to export of computed state-space to the file and prepare it for post-mortem analysis, eg. extraction of another counterexample.
 

Keywords

DiVinE model checking verifikace verification state explosion
 
Language used: Czech
Date on which the thesis was submitted / produced: 23. 5. 2011
Identifier: https://is.muni.cz/th/n3vss/

Thesis defence

  • Date of defence: 24. 6. 2011
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
  • Reader: RNDr. Petr Ročkai, 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

Bachelor programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses