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

Informations projet

Nekoka

N° de convention de subvention: 101083038

DOI

10.3030/101083038

Date de signature de la CE 5 Avril 2023

Date de début 1 Juillet 2023

Date de fin 30 Juin 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 000 000,00

Contribution de l’UE

€ 2 000 000,00

Coordonné par

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (2)

A Modular Formalization of Superposition in Isabelle/HOL

Auteurs: Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Publié dans: ITP 2024, 2024
Éditeur: Schloss Dagstuhl
DOI: 10.4230/LIPICS.ITP.2024.12

Augmenting Model-Based Instantiation with Fast Enumeration

Auteurs: Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Publié dans: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Éditeur: Springer
DOI: 10.1007/978-3-031-90643-5_5