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

SPECMATE

Financiado

Presupuesto del proyecto 2M€

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

Software
Software Testing Machine Learning Artificial Intelligence Data Analytics

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

#automated validation #test cases #program structure #formal proof #specifications #SPECMATE #executable program #incremental specification

1 Participantes

USAAR

Lider

Últimas noticias

21-02-2025: Digitalización Galic... Se ha cerrado la línea de ayuda pública: Ayudas a la transformación digital de las pymes Galicia para el organismo:

14-02-2025: Vehículo Eléctrico y... Se abre la línea de ayuda pública: Ayudas a proyectos que impulsen y refuercen la transición a la cadena de valor del vehículo eléctrico y a la descarbonización del sector de automoción en Galicia para el organismo:

13-02-2025: Territorio P2 A Coru... Se abre la línea de ayuda pública: Préstamos parcialmente reembolsables para proyectos empresariales de inversión creadores de empleo para el organismo: