ARTIST
Financiado
Duración del proyecto: 66 meses
Fecha Inicio: 2020-12-18
Fecha Fin: 2026-06-30
Finalizado
Fecha Fin: 2026-06-30
Finalizado
Presupuesto del proyecto
2M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Software Testing Artificial Intelligence Cybersecurity
Software Testing Artificial Intelligence Cybersecurity
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#automated reasoning
#theorem proving
#software reliability
#saturation-based proof search
#program properties
Lider