Detail projektu
AIDE - Pokročilá analýza a verifikace pro pokročilý software
Období řešení: 1. 1. 2023 - 31. 12. 2025
Typ projektu: grant
Kód: GA23-06506S
Agentura: Grantová agentura České republiky
Program: Standardní projekty
Název anglicky
Advanced Analysis and Verification for Advanced Software
Typ
grant
Klíčová slova
počítačové vědy, informatika, verifikace
Abstrakt
Dodat: Pokročilá analýza a verifikace pro pokročilý software
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D.
(UITS FIT VUT)
, hlavní řešitel
Kofroň Jan, doc. RNDr., Ph.D. (MFF UK) , spoluřešitel
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Dacík Tomáš, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Michal Bohumil, Ing. (CVT FIT VUT)
Mrazíková Libuše, Mgr. (Děkanát FIT VUT)
Nesvedová Šárka (Děkanát FIT VUT)
Paulíčková Eva (Děkanát FIT VUT)
Štanclová Eva (Děkanát FIT VUT)
Ventrubová Hana (Děkanát FIT VUT)
Kofroň Jan, doc. RNDr., Ph.D. (MFF UK) , spoluřešitel
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Dacík Tomáš, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Michal Bohumil, Ing. (CVT FIT VUT)
Mrazíková Libuše, Mgr. (Děkanát FIT VUT)
Nesvedová Šárka (Děkanát FIT VUT)
Paulíčková Eva (Děkanát FIT VUT)
Štanclová Eva (Děkanát FIT VUT)
Ventrubová Hana (Děkanát FIT VUT)
Publikace
2024
- DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, roč. 14570. Cham: Springer Nature Switzerland AG, 2024, s. 188-206. ISBN 978-3-031-57245-6. Detail
- VAŠÍČEK Ondřej, ARIAS Joaquín, FIEDOR Jan, GUPTA Gopal, HALL Brendan, KŘENA Bohuslav, LARSON Brian, VARANASI Sarat a VOJNAR Tomáš. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory and Practice of Logic Programming, roč. 24, č. 4, 2024, s. 844-862. ISSN 1475-3081. Detail
- FIEDOR Tomáš, PAVELA Jiří, ROGALEWICZ Adam a VOJNAR Tomáš. Efficient Manipulation of Control Flow Models in Evolving Software. Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Las Palmas de Gran Canaria, 2024. Detail
- KOZÁK David, STANCU Codrut, WIMMER Christian a WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. Proceedings of the ACM on Programming Languages, roč. 8, č. 8, 2024, s. 990-1013. ISSN 2475-1421. Detail
- ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David a LAMBARIA Noah. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024, s. 12-22. ISBN 979-8-3503-3066-3. Detail
- MALÍK Viktor, SCHRAMMEL Peter a VOJNAR Tomáš. Template-Based Verification of Array-Manipulating Programs. In: Taming the Infinities of Concurrency . Lecture Notes in Computer Science, roč. 14660. Cham: Springer Nature Switzerland AG, 2024, s. 206-224. ISBN 978-3-031-56221-1. Detail
2023
- MALÍK Viktor, NEČAS František, SCHRAMMEL Peter a VOJNAR Tomáš. 2LS: Arrays and Loop Unwinding (Competition Contribution). In: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, roč. 13994. Paris: Springer International Publishing, 2023, s. 529-534. ISBN 978-3-031-30819-2. Detail
- JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš a WIMMER Christian. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023, s. 129-142. ISBN 979-8-4007-0380-5. Detail
- HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, s. 392-412. ISSN 0302-9743. Detail
- HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. Detail
Produkty
2024
- Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail
2023
- 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
Autoři: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail