Projekty
-
2023
Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR, Standardní projekty, GA23-06963S, zahájení: 2023-03-01, ukončení: 2025-12-31, řešení
-
2022
INSEM - Camea SV, CAMEA, zahájení: 2022-07-01, ukončení: 2023-05-31, ukončen
WIM LA - Camea SV, CAMEA, zahájení: 2022-03-01, ukončení: 2023-05-31, ukončen