Tightly integrate dynamic verification with formal verification: a GSTE based approach.

Jin Yang Avi Puder

Published in: ASP-DAC (2005)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
temporal logic
formal specification
functional verification
data sets
object oriented
markov decision processes
verification method
program slicing