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)

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