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

CONAN

Financiado

Cerrado

Model Checking and Synthesis for Concurrent Software

Methods for systems and software engineering have steadily improved, but are being outrun by rapidly increasing system complexity. Much of this complexity is caused by the increasing parallelism (concurrency) and ubiquity (embedde... ver más

31/08/2017

UK BA

100K€

Presupuesto del proyecto: 100K€

Líder del proyecto

UNIVERZITA KOMENSKEHO V BRATISLAVE 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 FP7 notifico la concesión del proyecto el día 2017-08-31 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

1 Participantes

UK BA

0.00€ | Lider

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

Proyectos interesantes

Mathador Type and Proof Structures for Concurrent Software Verificati... 2M€ Cerrado

LiquidEff LiquidEff Algebraic Foundations for Liquid Effects 150K€ Cerrado

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

SPADE Sophisticated Program Analysis Declaratively 1M€ Cerrado

AutoProbe Automated Probabilistic Black Box Verification 2M€ Cerrado

TIN2013-44742-C4-3-R VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE ANALISIS, ANOTACIO... 188K€ Cerrado

Líder del proyecto

UNIVERZITA KOMENSKEHO V BRATISLAVE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 100K€

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

Descripción del proyecto Methods for systems and software engineering have steadily improved, but are being outrun by rapidly increasing system complexity. Much of this complexity is caused by the increasing parallelism (concurrency) and ubiquity (embeddedness) of systems. In this project, called ConAn (for CONcurrency ANalysis), we focus on design and analysis methods for concurrent software. Concurrent programming is the area of software development where even experts make subtle programming errors. Furthermore, concurrent programs are difficult to debug and test, because their behavior is nondeterministic and therefore irreproducible. We will focus on three specific areas: first, we will develop a verification tool for concurrent data structure implementations. Second, we will leverage the verification models and algorithms to develop synthesis methods for concurrent programs which are correct by construction. Third, we will develop a more quantitative analysis based on a flexible performance model for concurrent programs which is suitable for formal analysis of programs, as well as theory, algorithms and tools based on this model. The model will allow us to make the output of the verification tool more informative and to synthesize concurrent programs with better performance.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores