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

Nahoru