Faculty of Information Technology, BUT

Project Details

ROBUST - Verifikace a hledání chyb v pokročilém softwaru

Project Period: 01.01.2017 - 31.12.2019

Code: GA17-12465S

Agency: Czech Science Foundation

Program: Standardní projekty

English title
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware
Type
grant
Keywords
formal verification; static analysis; symbolic verification; automated abstraction; dynamic analysis and testing; noise injection; model-based testing; automata; logics; pointer programs; concurrent programs; container programs;
Abstract
Automated software verification and bug hunting are a hot topic in both industry and academia. Indeed, they can save a lot of money and, in case of safety-critical software, even human lives. This project aims at new automated methods of static formal verification (based on approaches like symbolic verification or automated abstraction) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions. In particular, the project concentrates on pointer programs, concurrent programs (including cloud programs), and container programs. While these areas are to some degree independent, there is also a lot of overlap among them: On one hand, one needs to consider various combinations of the mentioned constructions (e.g., concurrent pointer programs). On the other hand, one needs to solve similar problems for all of them. An important example of the latter considered in the project is dealing with open programs, i.e., program fragments that the programmers need to verify despite their environment is unknown.
Team members
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , research leader
Kofroň Jan, RNDr., Ph.D. (MFF UK) , team leader
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Fiedor Tomáš, Ing. (UITS FIT VUT)
Havlena Vojtěch, Ing. (UITS FIT VUT)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Martiček Štefan, Ing. (FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Síč Juraj, Bc. (VCIT FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Turoňová Lenka, Ing. (UITS FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Vojnarová Marta, Ing. (UITS FIT VUT)
Publications

2019

2018

2017

Products

2019

2018

Back to top