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

Informazioni relative al progetto

Nekoka

ID dell’accordo di sovvenzione: 101083038

DOI

10.3030/101083038

Data della firma CE 5 Aprile 2023

Data di avvio 1 Luglio 2023

Data di completamento 30 Giugno 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 000 000,00

Contributo UE

€ 2 000 000,00

Coordinato da

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (2)

A Modular Formalization of Superposition in Isabelle/HOL

Autori: Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Pubblicato in: ITP 2024, 2024
Editore: Schloss Dagstuhl
DOI: 10.4230/LIPICS.ITP.2024.12

Augmenting Model-Based Instantiation with Fast Enumeration

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