• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

  Masaryk University

  • Faculties
  • Law
  • Medicine
  • Science
  • Arts
  • Education
  • Economics
  • Informatics
  • Social Studies
  • Sports Studies

  • Institutes
  • Computer Science
  • CEITEC MU
  • Politica
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • International Studies
  • Disabled Students
  • Technology Transfer
  • Biostatistics
  • Mendel Museum
  • CERIT
  • Civic Education
  • Project Team CEITEC

   

Publication details

Typical Structural Properties of State Spaces

Further information
Citation:	PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko) : Springer-Verlag, 2004. ISBN 3-540-21314-7, pp. 5-22. 2004, Barcelona.
Original language:	English
Field:	Informatika
Type:	Article in Proceedings
Keywords:	explicit model checking; state space exploration

Explicit model checking algorithms explore the full state space of a system. We have gathered a large collection of state spaces and performed an extensive study of their structural properties. The results show that state spaces have several typical properties and that they differ significantly from both random graphs and regular graphs. We point out how to exploit these typical properties in practical model checking algorithms.

Related projects:

• Automated Verification of Parallel and Distributed Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing