Synthesising Functional Invariants in Separation Logic.

Ewen Maclean Andrew Ireland Gudmund Grov

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

automated reasoning
modal logic
predicate logic
defeasible logic
database
databases
information systems
logic programming
affine invariant
multi valued
logical framework
classical logic
asynchronous circuits