Innovating Works

FINABIS

Financiado
Finite-state abstractions of infinite-state systems
The algorithmic analysis of infinite-state systems is a central topic of theoretical computer science that is part of a popular approach to software verification. While analyzing infinite-state systems is indispensable when verif... ver más
31/12/2027
MPG
1M€
Presupuesto del proyecto: 1M€
ver más

Líder del proyecto
MAXPLANCKGESELLSCHAFT ZUR FORDERUNG DER WISSE... No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2022-12-20
ERC-2022-STG: ERC STARTING GRANTS Scope:Objectives
Cerrada hace 3 años
0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.