Go to main content | Go to main menu | Go to search

Project information
Realistic application of formal methods in component systems

Project Identification
1ET400300504
Project Period
1/2005 - 12/2009
Investor / Pogramme / Project type
Academy of Sciences of the Czech Republic
  • Information society (National programme of research)
MU Faculty or unit
Faculty of Informatics
Keywords
formal verification, behavior description, software components, component systems
Cooperating Organization
Institute of Computer Science of the ASCR, v. v. i.
  • Responsible person prof. Ing. František Plášil, DrSc.
Charles University
  • Responsible person prof. Ing. Petr Tůma, Dr.

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.

Results

Publications

Total number of publications: 29

2012

2009

2008

Previous 1 2 3 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info