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

Project Information

Nekoka

Grant agreement ID: 101083038

DOI

10.3030/101083038

EC signature date 5 April 2023

Start date 1 July 2023

End date 30 June 2028

Funded under

• European Research Council (ERC)

Total cost

€ 2 000 000,00

EU contribution

€ 2 000 000,00

Coordinated by

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (2)

A Modular Formalization of Superposition in Isabelle/HOL

Author(s): Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Published in: ITP 2024, 2024
Publisher: Schloss Dagstuhl
DOI: 10.4230/LIPICS.ITP.2024.12

Augmenting Model-Based Instantiation with Fast Enumeration

Author(s): Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer
DOI: 10.1007/978-3-031-90643-5_5