Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version).

Thibault Dardinier Gaurav Parthasarathy Peter Müller

Published in: CoRR (2022)

Keyphrases

asynchronous circuits
verification method
model checking
semi automatic
modal logic
fully automatic
classical logic
data sets
databases
artificial intelligence
data driven
logic programming
computational properties
defeasible logic
epistemic logic
derivation rules