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

VERIPROB

Financiado

A Deductive Verifier for Probabilistic Programs

Program correctness is a central problem in computer science. Code inspection and testing can reveal many program bugs, but subtle errors need a rigorous analysis. A fully automated analysis is impossible: deciding whether a progr... ver más

30/04/2026

RWTH AACHEN

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2024-02-06

ERC-2023-POC: ERC PROOF OF CONCEPT GRANTS Objective:Objectives:The ERC Proof of Concept Grants aim at facilitating exploration of the commerci...

I+D

Cerrada hace 1 año

0% 100% 100%

1 Participantes

RWTH AACHEN

150.00K€ | 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

RTI2018-094645-B-I00 DETECCION AUTOMATICA CON HARDWARE DE BAJO COSTE DE ACTIVIDAD... 65K€ Cerrado

TEC2015-69266-P TECNOLOGIAS DE APRENDIZAJE PROFUNDO APLICADAS AL PROCESADO D... 247K€ Cerrado

TIN2015-74368-JIN INFER.JAVA: UN LENGUAJE DE PROGRAMACION PROBABILISTICO PARA... 200K€ Cerrado

TIN2016-78365-R UNA APROXIMACION DESDE LA INTELIGENCIA COMPUTACIONAL AL TRAT... 227K€ Cerrado

TIN2016-81731-REDT LOGICA DIFUSA Y SOFT COMPUTING 15K€ Cerrado

TIN2015-67661-P NUEVAS METODOLOGIAS DE SOFT COMPUTING PARA PROBLEMAS DE ALTA... 116K€ Cerrado

Duración del proyecto: 26 meses Fecha Inicio: 2024-02-06
Fecha Fin: 2026-04-30

Líder del proyecto

RHEINISCHWESTFAELISCHE TECHNISCHE HOCHSCHULE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

Descripción del proyecto Program correctness is a central problem in computer science. Code inspection and testing can reveal many program bugs, but subtle errors need a rigorous analysis. A fully automated analysis is impossible: deciding whether a program terminates on a given input is undecidable. Thanks to unremitting developments in program verification and incredible advancements in satisfiability checking, program verification is nowadays supported by software tools in industrial practice. Meta and Amazon Web Services use program verification tools on a daily basis. In the advent of AI, probabilistic programming emerged as a popular paradigm combining programming with learning from (big) data. Since 2018, the UN uses such probabilistic programs to predict the location and classify seismological activities on the earth. Other application areas include security, planning in AI, cognitive science, and neural network training. Probabilistic programs are fundamentally different. Due to randomness, they sometimes terminate and sometimes not. Their outcome depends on coin flips. They may terminate with probability one, while having an infinite expected run time. Classical program verification techniques no longer apply. The ERC project FRAPPANT has resulted in proof calculi for probabilistic programs, equipped with powerful proof rules, and identified a relative complete syntax for quantitative properties. This has led to a prototypical deductive verifier for an assembler programming language. A software tool for which no equivalent exists. Successful analyses of intricate programs showed its potential. The proposed project aims to explore the commercial and innovative aspects of our deductive verifier. It takes the necessary innovative steps to enable a commercialisation by including invariant synthesis and program slicing and supporting the popular probabilistic programming language STAN. Its potential will be investigated engaging potential users, and a market analysis.

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores