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, RNDr., Ph.D. (MFF UK) , spoluřešitel
Strejček Jan, doc. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Kofroň Jan, RNDr., Ph.D. (MFF UK) , spoluřešitel
Strejček Jan, doc. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Publikace
2023
- HOLÍK Lukáš, SÍČ Juraj, TUROŇOVÁ Lenka a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. Detail