Published in: DARTS, Volume 10, Issue 2, Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimović, and Philippa Gardner. Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 13:1-13:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{loow_et_al:DARTS.10.2.13,
author = {L\"{o}\"{o}w, Andreas and Nantes-Sobrinho, Daniele and Ayoun, Sacha-\'{E}lie and Cronj\"{a}ger, Caroline and Karmios, Nat and Maksimovi\'{c}, Petar and Gardner, Philippa},
title = {{Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)}},
pages = {13:1--13:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {L\"{o}\"{o}w, Andreas and Nantes-Sobrinho, Daniele and Ayoun, Sacha-\'{E}lie and Cronj\"{a}ger, Caroline and Karmios, Nat and Maksimovi\'{c}, Petar and Gardner, Philippa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.13},
URN = {urn:nbn:de:0030-drops-209110},
doi = {10.4230/DARTS.10.2.13},
annote = {Keywords: separation logic, incorrectness logic, symbolic execution, bi-abduction}
}
Feedback for Dagstuhl Publishing