Innovating Works

Nekoka

Financiado
Realizing the Promise of Higher-Order SMT and Superposition for Interactive Veri...
Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification Proof assistants (also called interactive theorem provers) have a long history of being very tedious to use. The situation has improved markedly in the past decade with the integration of first-order automatic theorem provers as b... ver más
30/06/2028
LMU MUENCHEN
2M€
Presupuesto del proyecto: 2M€
ver más

Líder del proyecto
LUDWIGMAXIMILIANSUNIVERSITAET MUENCHEN 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 2023-04-05
ERC-2022-COG: ERC CONSOLIDATOR GRANTS Scope:Objectives
Cerrada hace 2 años
0% 100% 100%