Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding

Authors

  • Petar Maksimović
  • Caroline Cronjäger
  • Andreas Lööw
  • Julian Sutherland
  • Philippa Gardner

Venue

37th European Conference on Object-Oriented Programming (ECOOP 2023), pp. 19:1–19:27

Publication Date

2023

Identifiers

Source Materials