Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

EUIN2015-62768

Financiado

Presupuesto del proyecto 3K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.

Software
Software Testing Cybersecurity

Palabras clave Extraídas de toda la información encontrada de este proyecto

#concurrent software verification #modular verification #dependent types #mathematical testing #mutable state

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Últimas noticias

23-01-2025: IA Medios de Comunic... Se abre la línea de ayuda pública: Ayudas para la integración de inteligencia artificial en las cadenas de valor de medios de comunicación

22-01-2025: IGAPE INNOVA Se abre la línea de ayuda pública: Ayudas para la mejora de la capacidad de la innovación de las empresas en Galicia, financiación de actividades integradas en planes de diseño e innovación. para el organismo:

21-01-2025: DOCTORADOS INDUSTRIA... Se abre la línea de ayuda pública: Ayudas para contratos para la formación de doctores y doctoras en empresas y otras entidades (Doctorados Industriales) 2024-2