Login / Signup
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.
Petar Maksimovic
Caroline Cronjäger
Andreas Lööw
Julian Sutherland
Philippa Gardner
Published in:
ECOOP (2023)
Keyphrases
</>
asynchronous circuits
verification method
source code
model checking
modal logic
information systems
logic programming
predicate logic
software projects
face verification
formal verification
model checker
bounded model checking