The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and analysis of computer systems. The project aims to support the development of methodologies, technologies and tools of software engineering in automatic and computer-aided verification and analysis. The project is to contribute to the research into new technologies for a realistic modelling of large-scale software systems, especially with respect to their safety. The aim is to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on large-scale distributed and parallel systems. Taking into consideration the complexity of verification processes, the mainaim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories. (en)
Cílem projektu je vyvinout nové metody, techniky a algoritmy pro automatizovanou verifikaci velmi velkých, příp. nekonečně-stavových výpočetních systémů. Tyto přístupy budou využívat zejména paralelní výpočetní architektury (sítě pracovních stanic a více-jádrové počítače) a externí paměťová media.