Login / Signup

Towards Mechanized Program Verification with Separation Logic.

Tjark Weber
Published in: CSL (2004)
Keyphrases
  • logic programming
  • modal logic
  • multi valued
  • classical logic
  • databases
  • real time
  • set theory
  • database
  • multiscale
  • natural language
  • formal theory