Project Details

AIDE - Pokročilá analýza a verifikace pro pokročilý software

Project Period: 1. 1. 2023 - 31. 12. 2025

Project Type: grant

Code: GA23-06506S

Agency: Czech Science Foundation

Program: Standardní projekty

English title
Advanced Analysis and Verification for Advanced Software
Type
grant
Keywords

computer science, information science, verification

Abstract

TBD: Advanced Analysis and Verification for Advanced Software

Team members
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT) , research leader
Kofroň Jan, doc. RNDr., Ph.D. (MFF CUNI) , team leader
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , team leader
Dacík Tomáš, Ing. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Malásková Věra (DITS FIT BUT)
Michal Bohumil, Ing. (CC FIT BUT)
Mrazíková Libuše, Mgr. (DEAN FIT BUT)
Nesvedová Šárka (DEAN FIT BUT)
Paulíčková Eva (DEAN FIT BUT)
Štanclová Eva (DEAN FIT BUT)
Ventrubová Hana (DEAN FIT BUT)
Publications

2024

  • DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and 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, vol. 14570. Cham: Springer Nature Switzerland AG, 2024, pp. 188-206. ISBN 978-3-031-57245-6. Detail
  • KOZÁK David, STANCU Codrut, WIMMER Christian and WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, pp. 990-1013. ISSN 2475-1421. Detail
  • ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David and 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, pp. 12-22. ISBN 979-8-3503-3066-3. Detail
  • MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Array-Manipulating Programs. In: Taming the Infinities of Concurrency . Lecture Notes in Computer Science, vol. 14660. Cham: Springer Nature Switzerland AG, 2024, pp. 206-224. ISBN 978-3-031-56221-1. Detail

2023

  • MALÍK Viktor, NEČAS František, SCHRAMMEL Peter and 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, vol. 13994. Paris: Springer International Publishing, 2023, pp. 529-534. ISBN 978-3-031-30819-2. Detail
  • JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš and 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, pp. 129-142. ISBN 979-8-4007-0380-5. Detail
  • HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, pp. 392-412. ISSN 0302-9743. Detail
  • HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. Detail
Products

2024

  • Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
    Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail

2023

  • 2LS: Static Analyser and Verifier, version 0.10, software, 2023
    Authors: 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
Back to top