Zpět na vyhledávání

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

Bakalářská práce

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 …více
 

Keywords

state space properties network motifs explicit model checking graphs BEEM DiVinE
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2007
Identifikátor: https://is.muni.cz/th/j5pv8/

Obhajoba závěrečné práce

  • Obhajoba proběhla 18. 6. 2007
  • Vedoucí: doc. Mgr. Radek Pelánek, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.