SNAPPY - Scalable Techniques for Analysis of Complex Properties of Computer Systems
Project Period: 1. 1. 2020 - 31. 12. 2022
Project Type: grant
Agency: Czech Science Foundation
Program: Standardní projekty
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.