• 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

Formal verification of systems with an unlimited number of components

Further information
Citation:	VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora - MORAVEC, Pavel - ČERNÁ, Ivana. Formal verification of systems with an unlimited number of components. IET Software journal, Inst. of Engeneering and Technology, USA. ISSN 1751-8806, 2008, vol. Volume 2, no. Isuue 6, pp. p. 532-546.
Original language:	English
Field:	Informatika
WWW:	http://scitation.aip.org/dbt/dbt.jsp?KEY=ISEOB7&Volume=2&Issue=6
Type:	Article in Periodical
Keywords:	Component-based systems; dynamic number of components; infinite-state systems; formal verification

In the paper, we focus on control-user parametrised systems. We present an extended version of a fully automatic algorithm which we introduced in our previous paper.

Related projects:

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Realistic application of formal methods in component systems