A Technique for Estimating the Difficulty of a Formal Verification Problem.

Indradeep Ghosh Mukul R. Prasad

Published in: ISQED (2006)

Keyphrases

formal verification
model checking
automated verification
bounded model checking
model checker
symbolic model checking
coloured petri nets
rigid body
software engineering
open source
program slicing
temporal logic
accurate estimation