Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
Venue
ECOOP 2023
Publication date
Jul 2023
Identifiers
- DOI: doi:10.4230/LIPIcs.ECOOP.2023.19
- ISBN: 978-3-95977-281-5
Authors
- Petar Maksimović
- Caroline Cronjäger
- Andreas Lööw
- Julian Sutherland
- Philippa Gardner