Automated Assumption Generation for Compositional Verification.

Anubhav Gupta Kenneth L. McMillan Zhaohui Fu

Published in: CAV (2007)

Keyphrases

model checking
automated analysis
semi automated
data sets
artificial intelligence
formal verification
databases
real time
generation process
asynchronous circuits
formal analysis
fully automated
data driven
probabilistic model
multiscale
website
knowledge base
decision making