Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

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

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

A Modular Formalization of Superposition in Isabelle/HOL (öffnet in neuem Fenster)

Autoren: Desharnais, Martin; Toth, Balazs; Waldmann, Uwe; Blanchette, Jasmin; Tourret, Sophie
Veröffentlicht in: ITP 2024, 2024
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/LIPICS.ITP.2024.12

Augmenting Model-Based Instantiation with Fast Enumeration (öffnet in neuem Fenster)

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0