Verification-Preserving Inlining in Automatic Separation Logic Verifiers.

Thibault Dardinier Gaurav Parthasarathy Peter Müller

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

verification method
fully automatic
semi automatic
asynchronous circuits
logic programming
databases
model checking
classical logic
multi valued
formal verification
modal logic
formal methods
model checker
bounded model checking