Verification Algorithms for Automated Separation Logic Verifiers (Artifact)

Verification Algorithms for Automated Separation Logic Verifiers (Artifact)

This is the artifact for the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers". For more information, see the description of the artifact in "artifact_overview.pdf". The data in the artifact (minus the implementations of the benchmarked algorithms)...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Eilers, Marco, Schwerhoff, Malte, Müller, Peter
Format: Dataset
Sprache:eng
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This is the artifact for the CAV 2024 paper "Verification Algorithms for Automated Separation Logic Verifiers". For more information, see the description of the artifact in "artifact_overview.pdf". The data in the artifact (minus the implementations of the benchmarked algorithms) can also be found on GitHub: https://github.com/marcoeilers/CAV24-data.
DOI:10.5281/zenodo.11218238