Runtime Checking for Separation Logic.

Huu Hai Nguyen Viktor Kuncak Wei-Ngan Chin

Published in: VMCAI (2008)

Keyphrases

modal logic
logic programming
automated reasoning
proof theory
verification method
multi valued
probabilistic logic
sound and complete axiomatization
logic synthesis
asynchronous circuits
digital circuits
defeasible logic
classical logic
artificial intelligence
case study
decision trees
information systems