Login / Signup

A toolset for assisted formal verification.

Nadeem MalikJason BaumgartnerS. RobertsR. Dobson
Published in: IPCCC (1999)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • model checker
  • automated verification
  • symbolic model checking
  • development process
  • temporal logic
  • program slicing
  • markov decision processes