Project Details

SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems

Project Period: 1. 1. 2020 - 31. 12. 2022

Project Type: grant

Code: GA20-07487S

Agency: Czech Science Foundation

Program: Standardní projekty

Czech title
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů

Automated analysis and verification, static analysis, formal methods, dynamic analysis, pointers and dynamic data structures, arrays and strings, concurrency.


The overall goal of the project is to significantly improve state-of-the-art techniques of automated analysis and verification to make them more scalable on one hand and applicable for handling more complex properties of more complex code on the other hand. For that, a set of mutually complementary analyses handling complex data and control structures, identified above as problematic for current analyses, will be proposed, covering particular goals form the following areas: (1) pointer programs, (2) string and array programs, and (3) concurrent programs.

Team members
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , research leader
Kofroň Jan, RNDr., Ph.D. (MFF UK) , team leader
Gaďorek Petr, Ing. (CVT FIT VUT)
Harmim Dominik, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Mrazíková Libuše, Mgr. (Děkanát FIT VUT)
Oravcová Marcela, Ing. (Děkanát FIT VUT)
Paulíková Barbora, Mgr. (Děkanát FIT VUT)
Pirová Zuzana, Ing. (Děkanát FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Štanclová Eva (Děkanát FIT VUT)
Ventrubová Hana (Děkanát FIT VUT)







Back to top