Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
Venue
37th European Conference on Object-Oriented Programming (ECOOP 2023), pp. 19:1–19:27
Publication Year
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