Project Details

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů

Project Period: 1. 1. 2007 - 31. 12. 2009

Project Type: grant

Code: GA102/07/0322

Agency: Czech Science Foundation


English title
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems

formal models, simulation verification, formal verification, model checking


High-level design and formal verification are promising approaches for improving reliability and safety of computer systems. This project is proposed by the highly experienced team with the expressive results and the international cooperation with the prestigious research teams. The project aims to explore and use advanced formal approaches from the fields like system theory, logics, theoretical computer science, and artificial intelligence in the area of the high-level design and formal verification. We believe that these approaches can significantly improve the verification abilities, especially in the cases on which the brute-force approach does not succeed. The proposed research project covers complementary methods, i.e., the model-driven design, the simulation-based verification, and the model checking of finite-state as well as infinite-state systems. The research should result in developing new approaches and methods with unique properties. These methods will be validated by the prototype implementation and will be evaluated by suitable case studies.

Team members
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , research leader
Cerhák Michal, Ing. (UITS FIT VUT) , team leader
Erlebach Pavel, Ing. (UITS FIT VUT) , team leader
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT) , team leader
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , team leader
Kironský Elöd, Ing. (UITS FIT VUT) , team leader
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Polášek Petr, Ing. (UITS FIT VUT) , team leader
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT) , team leader
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader









Back to top