Project information
Realistic application of formal methods in component systems

Project Identification
Project Period
1/2005 - 12/2009
Investor / Pogramme / Project type
Academy of Sciences of the Czech Republic
MU Faculty or unit
Faculty of Informatics
formal verification, behavior description, software components, component systems
Cooperating Organization
Institute of Computer Science of the ASCR, v. v. i.
Charles University

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.



Total number of publications: 29

Previous 1 2 3 Next

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

More info