Towards Mechanized Program Verification with Separation Logic.

Published in: CSL (2004)

Keyphrases

logic programming
modal logic
multi valued
classical logic
databases
real time
set theory
database
multiscale
natural language
formal theory