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