Project Details

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

Project Period: 1. 1. 2010 – 31. 12. 2013

Project Type: grant

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. (DITS) – research leader
Češka Milan, prof. RNDr., CSc.
Dudka Kamil, Ing.
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (DITS)
Gach Marek, Ing.
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Hýsek Jiří, Ing.
Charvát Lukáš, Ing., Ph.D.
Konečný Filip, Ing., Ph.D.
Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Peringer Petr, Dr. Ing. (DITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Šimáček Jiří, Ing., Ph.D.
Publications

2015

2013

2012

2011

2010

Back to top