Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification

Información del proyecto

Nekoka

Identificador del acuerdo de subvención: 101083038

DOI

10.3030/101083038

Fecha de la firma de la CE 5 Abril 2023

Fecha de inicio 1 Julio 2023

Fecha de finalización 30 Junio 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 000 000,00

Aportación de la UE

€ 2 000 000,00

Coordinado por

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (2)

A Modular Formalization of Superposition in Isabelle/HOL

Autores: Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Publicado en: ITP 2024, 2024
Editor: Schloss Dagstuhl
DOI: 10.4230/LIPICS.ITP.2024.12

Augmenting Model-Based Instantiation with Fast Enumeration

Autores: Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: Springer
DOI: 10.1007/978-3-031-90643-5_5