Project Details

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ů
Type
grant
Keywords

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

Abstract

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. (DITS) – research leader
Gaďorek Petr, Ing. (DFIT-ISD)
Harmim Dominik, Ing. (FP)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Kofroň Jan, doc. RNDr., Ph.D.
Lengál Ondřej, Ing., Ph.D. (DITS)
Mrazíková Libuše, Mgr. (DFIT-PO)
Oravcová Marcela, Ing. (DFIT-FO)
Paulíková Barbora, Mgr. (DFIT-PO)
Pirová Zuzana, Ing. (DFIT-FO)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Štanclová Eva (DFIT-FO)
Ventrubová Hana (DFIT-FO)
Publications

2023

  • FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Integrating OSLC Services into Eclipse. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2023. p. 240-249. ISBN: 978-3-031-25311-9. Detail
  • HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 267-276. ISBN: 978-3-031-25311-9. Detail
  • HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743. Detail
  • HRUŠKA, M.; FIEDOR, T.; SMRČKA, A. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2023. p. 223-231. ISBN: 978-3-031-25311-9. Detail

2022

  • CHARVÁT, L.; SMRČKA, A.; VOJNAR, T. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, 2022, vol. 2020, no. 1, p. 1-28. ISSN: 1433-2779. Detail
  • HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. Low-Level Bi-Abduction (technical report). Ithaca: 2022. Detail
  • ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. Low-Level Bi-Abduction (Artifact). Dagstuhl: 2022. p. 1-6. Detail

2020

  • HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In Proceedings of APLAS'20. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2020. p. 343-363. ISSN: 0302-9743. Detail
  • MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Heap Analysis and Memory Safety (Competition Contribution). In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Dublin: Springer International Publishing, 2020. p. 368-372. ISBN: 978-3-030-45236-0. Detail
Products

2023

Back to top