Filtry
Projekt
Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)
S cílem pomoci vývojářům software vyrovnat se s jeho obrovskou a stále rostoucí složitostí se projekt zaměřuje na nové metody automatizované analýzy a verifikace pokročilého software, založeného na nízkoúrovňovém programování, moderních vysokoúrovňov...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 - 2025 •
- 13 285 tis. Kč •
- 10 970 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
- 1 - 1 z 1