IJC2019-041599-I
Financiado
Modular Program Verification and Synthesis using Refinement Types
01/01/2019
IMDEA SOFTWARE INS...
93K€
Presupuesto del proyecto: 93K€
Líder del proyecto
IMDEA SOFTWARE INSTITUTE
No se ha especificado una descripción o un objeto social para esta compañía.
TRL
4-5
| 650K€
TRL
4-5
| 650K€
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2019-01-01
No tenemos la información de la convocatoria
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2016-81699-ERC
ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C...
75K€
Cerrado
EUIN2015-62768
ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C...
3K€
Cerrado
EXPLOSYN
Exploratory Program Synthesis
2M€
Cerrado
S3
Semantics of Software Systems
3M€
Cerrado
Nekoka
Realizing the Promise of Higher-Order SMT and Superposition...
2M€
Cerrado
CRETE
Certified Refinement Types
2M€
Cerrado