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

SYNTACT

Financiado

Cerrado

Reactive Synthesis in Action

Bugs in software systems pose a huge and growing cost on society, not only in economic terms but also in direct risk to human lives. Reactive synthesis is a new technology to automatically generate correct-by-construction software... ver más

31/10/2023

TAU

Presupuesto desconocido

Líder del proyecto

TEL AVIV UNIVERSITY 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 HORIZON EUROPE notifico la concesión del proyecto el día 2023-10-31

ERC-2022-POC1: ERC PROOF OF CONCEPT GRANTS1 Objective:Objectives:

I+D

Cerrada hace 3 años

0% 100%

Información adicional privada

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

Participantes

TAU

Lider

Proyectos interesantes

VERISYNTH

Software

Software Testin...

1M€ Cerrado

CORCON

Software

Software Testin...

286K€ Cerrado

TIN2008-05624

Software

Software Testin...

505K€ Cerrado

ARTIST

Software

Software Testin...

2M€ Cerrado

TypeSynth

Software

Cybersecurity

215K€ Cerrado

Quality

Software

Data Science

1M€ Cerrado

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Duración del proyecto: 17 meses Fecha Inicio: 2022-05-01
Fecha Fin: 2023-10-31

Líder del proyecto

TEL AVIV UNIVERSITY No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Bugs in software systems pose a huge and growing cost on society, not only in economic terms but also in direct risk to human lives. Reactive synthesis is a new technology to automatically generate correct-by-construction software. Unlike testing and formal verification, which require advance investment in an implementation, reactive synthesis generates a correct implementation directly from its formal specification.Despite its potential to reduce software development costs and at the same time increase the confidence one may have in the correctness of software, to date, no application of reactive synthesis has been examined outside academic labs. The SYNTACT PoC will put reactive synthesis technologies to test in industrial beta-sites and will thus generate and disseminate knowhow on the use of reactive synthesis in practice, identify and address product and process obstacles, build a community of parties that are interested in the promotion and transfer of reactive synthesis technologies from academia to industry, and lay a foundation to guide future research, standardization, collaboration, and industry investment in reactive synthesis technologies.We expect the SYNTACT PoC to advance the state-of-the-practice in reactive synthesis and thus start paving the way for its adoption in industry. Its expected outcomes include several industrial systems that were developed using synthesis, case-study reports describing the beta-sites projects, training materials, new set of real benchmark specifications, estimations of the potential return on investment in deploying reactive synthesis, and draft standardization documents. As more and more aspects of modern life depend on the correctness of software, the SYNTACT PoC will directly introduce the reactive synthesis correct-by-construction new perspective and tools to the industrial settings, as a timely step towards its broad future adoption.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores