Getting Formal Verification into Design Flow.

Arvind Nirav Dave Michael Katelman

Published in: FM (2008)

Keyphrases

formal verification
model checking
functional verification
neural network
automated verification
artificial intelligence
case study
knowledge based systems
computer aided
fuzzy set theory
symbolic model checking