Project Details

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

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. (UITS FIT VUT) , research leader
Kofroň Jan, doc. RNDr., Ph.D. (MFF UK) , team leader
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , team leader
Dacík Tomáš, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Paulíčková Eva (Děkanát FIT VUT)
Ventrubová Hana (Děkanát FIT VUT)
Publications

2024

  • DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. 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. 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, 2024, pp. 12-22. ISBN 979-8-3503-3066-3. 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