Tento projekt je spolufinancován se státní podporou Technologické gentury ČR v rámci Programu na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025)
www.tacr.cz
Výzkum užitečný pro společnost.

Project Details

Automatizace Formální Verifikace (TACR)

Project Period: 1.1.2019 - 31.12.2021

Code: TH04010192

Agency: Technology Agency of the Czech Republic

Program: Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025)

English title
AuFoVer - Automated Formal Verification
Type
grant
Keywords
formal verification; static analysis; symbolic verification; dynamic analysis and testing; model-based testing; automata; requirement specification; logics;
Abstract
The main scope of the project is on reducing cost of development of critical systems by leveraging tools for automated formal verification. In particular, the project concentrates on (1) transparent deployment of formal methods (formal verification will be used in a way requiring minimal modification of current processes), (2) automated semantic analysis of requirements (requirements written in natual language wil be automatically formalised and system engineers will be able to gain information about inconsistent, duplicate, unrealisable, or missing requirements), and (3) automated formal verification of system wrt. requirements (the developers will be able to verify if an implementation in C/C++ satisfies a given requirements with no need to create abstract models of a verified system). The new developed methods and tools will be included in industrial practice to allow revealing bugs sooner in development cycle.
Team members
Kratochvíla Tomáš (Honeywell) , research leader
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT) , team leader
Červinka Radim, Bc. (FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Kraut Daniel, Ing. (FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Pešková Daniela (FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Sečkařová Petra, Ing. (FIT VUT)
Sušovský Tomáš, Ing. (FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Valeš Ondřej, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Back to top