Faculty of Information Technology, BUT

Project Details

Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti

Project Period: 01.01.2010 - 31.12.2013

Code: GAP103/10/0306

Agency: Czech Science Foundation

Program: Standardní projekty

English title
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness
Type
grant
Keywords
automated verification of programs; static and dynamic analysis; formal verification; model checking; concurrency; infinite-state programs; dynamic data structures
Abstract
Automated verification of programs is currently a very hot issue due to the rising influence of computer-controlled systems on our lives and the recognised need to minimise the number of errors in them. The project, in particular, considers verification of programs with advanced features of concurrency and unboundedness, which both belong among especially problematic features to be dealt with in automated verification. In the former case, the project pays a special attention to verification of applications intended to run on the current multi-core processors. In the latter case, verification of programs manipulating different unbounded structures, notably (parametrised-size) arrays and complex dynamic linked data structures (such as lists or trees), is considered. The project contains research on methods of dynamic as well as static verification, including model checking, and possibly their suitable combinations. For handling infinite-state programs, efficient symbolic verification methods based on automata and logics are the primary target of the research in the project.
Team members
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , research leader
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , team leader
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , team leader
Peringer Petr, Dr. 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
Dudka Kamil, Ing. (UITS FIT VUT)
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Gach Marek, Ing. (UITS FIT VUT)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Hýsek Jiří, Ing. (UITS FIT VUT)
Charvát Lukáš, Ing. (UITS FIT VUT)
Konečný Filip, Ing. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Publications

2015

2013

2012

2011

2010

Products

2013

2012

2011

2010

Back to top