• 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

Boundaries and Efficiency of Verification

Further information
Citation:	STREJČEK, Jan. Boundaries and Efficiency of Verification. In Proceedings of summer school MOVEP~2002. Nantes (France) : IRCCyN, Ecole Centrale de Nantes, France, 2002. pp. 403-408. 2002, 17.-21. 6. 2002, Nantes (France).
Original language:	English
Field:	Computer hardware and software
Type:	Article in Proceedings
Keywords:	stuttering; constrained rewrite systems

Formal verification of concurrent systems is in the center of interest of many researchers for a long time. Here we present directions and some results of our work in this area, namely rewrite systems with constraints and modifications of well known stuttering principle.

Related projects:

• Infinite state concurrent systems - models and verification
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing