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

Back to top