Detail projektu

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

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)
Paulíčková 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: 2024. 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
Nahoru