Login / Signup

A Two-Level Formal Verification Methodology using HOL and COSMOS.

Carl-Johan H. SegerJeffrey J. Joyce
Published in: CAV (1991)
Keyphrases
  • formal verification
  • model checker
  • model checking
  • automated verification
  • symbolic model checking
  • bounded model checking
  • formal methods
  • program slicing
  • data sets
  • state space
  • temporal logic