RNDr. Jan Krčál, Ph.D.

Bachelor's thesis

Motifs in State Spaces

Motifs in State Spaces
Abstract:
Graph properties of state space influence the efficiency of algorithms used in explicit model checking. We have studied the local structure of state spaces using motifs - patterns of interconnections in a graph. We have measured occurrence of selected motifs to split up our collection of state spaces into different classes. Then we have tested how models from individual classes behave in several practical …more
 

Keywords

state space properties network motifs explicit model checking graphs BEEM DiVinE
 
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier: https://is.muni.cz/th/j5pv8/

Thesis defence

  • Date of defence: 18. 6. 2007
  • Supervisor: doc. Mgr. Radek Pelánek, 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 / Informatics

Theses on a related topic

List of theses with an identical keyword.