Innovating Works

AutoProbe

Financiado
Duración del proyecto: 61 meses Fecha Inicio: 2021-02-04
Fecha Fin: 2026-03-31
Finalizado
Presupuesto del proyecto 2M€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Software Cybersecurity
Computer Science Data Science Artificial Intelligence Software Testing

Palabras clave Extraídas de toda la información encontrada de este proyecto
#automated verification #model checking #automata learning #bug-finding technique #system behavior #performance #security #algorithms