SYNTACT
Financiado
Duración del proyecto: 17 meses
Fecha Inicio: 2022-05-01
Fecha Fin: 2023-10-31
Finalizado
Fecha Fin: 2023-10-31
Finalizado
Presupuesto del proyecto
?€
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
#reactive synthesis
#correct-by-construction software
#software development
#formal specification
#testing
#formal verification
Lider