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)

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