Automated assumption generation for compositional verification.

Anubhav Gupta Kenneth L. McMillan Zhaohui Fu

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

semi automated
model checking
fully automated
formal verification
fully automatic
generation process
concurrent systems
real time
multiscale
artificial neural networks
formal methods
generation algorithm
generation method
asynchronous circuits