Login / Signup

A Case Study in Formal Verification Using Multiple Explicit Heaps.

Wojciech Mostowski
Published in: FMOODS/FORTE (2013)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • open source
  • search engine
  • temporal logic
  • databases
  • test bed
  • description language
  • symbolic model checking
  • automated verification