• Skip the Organizational structure panel
• Organizational structure

  On selecting a constituent part of MU the "List of projects" page will be displayed with information relevant to the selected constituent part. The "List of projects" 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
  • Political Science
  • CEITEC
  • Specialized Units
  • Hostels & Canteens
  • University Press
  • Telč Centre
  • UCB Management

  • Rector`s Office
  • Rectorate
  • Other Units
  • Archive
  • Language Centre
  • Mendel Museum
  • Disabled Students
  • International Studies
  • Technology Transfer
  • Biostatistics

   

Project details

Realistic application of formal methods in component systems

Project Identification:	1ET400300504
Project Period:	1/2005 - 12/2009
Investor:	Academy of Sciences of the Czech Republic
MU Faculty/Unit:	Faculty of Informatics MU Investigator: Assoc. Prof. Ing. Jiří Sochor, CSc.
Cooperating Organization:	Institute of Computer Science of the ASCR, v. v. i. Responsible Person: Prof. Ing. František Plášil, DrSc. Faculty of Mathematics and Physics CU Praha Responsible Person: Assoc. Prof. Ing. Petr Tůma, Dr. Charles University Prague
Field:	JC - Computer hardware and software (J - Industry) IN - Informatika (I - Informatics)
Publications/Results:	more
Keywords:	formal verification, behavior description, software components, component systems

The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment.