Innovating Works

SyGaST

Financiado
Synthesising Game Solving Techniques
When trying to find errors in programs, or to show that none remain, when trying to automatically produce protocol adapters that guarantee that systems seamlessly work together, and when checking if a specifications can be impleme... ver más
30/06/2023
THE UNIVERSITY OF...
213K€
Presupuesto del proyecto: 213K€
ver más

Líder del proyecto
THE UNIVERSITY OF LIVERPOOL No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Fecha límite participación Sin fecha límite de participación.
Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2023-06-30
0% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.