Inductive Predicate Synthesis Modulo Programs

Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Link zu diesem Datensatz

https://d-nb.info/1367530687

Titel

Inductive Predicate Synthesis Modulo Programs

Art des Inhalts

Teil eines Werks

Verfassangaben

Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel

Autor(en)

• Wesley, Scott
• Christakis, Maria
• Navas, Jorge A.
• Trefler, Richard
• Wüstholz, Valentin
• Gurfinkel, Arie

Verlag

Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2024]

Jahr

Erscheinungsdatum: 2024

Umfang/Format

Online-Ressource

DOI

10.4230/LIPIcs.ECOOP.2024.43

Online

https://doi.org/10.4230/LIPIcs.ECOOP.2024.43

Sprache

eng

Schlagwörter

• Software Verification
• Invariant Synthesis
• Model-Checking

Stand

27.01.2026 04:35

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Verlagstext laden