Automatic generalized phase abstraction for formal verification.

Per Bjesse James H. Kukula

Published in: ICCAD (2005)

Keyphrases

formal verification
bounded model checking
model checking
model checker
automated verification
symbolic model checking
temporal logic
training phase
preprocessing phase
knowledge based systems
fully automatic
neural network
search algorithm
object oriented
domain specific