A Probabilistic and Approximated Approach to Circuit-Based Formal Verification.
Sergio NoccoStefano QuerPublished in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- automated verification
- model checker
- program slicing
- high speed
- bounded model checking
- bayesian networks
- linear combination
- probabilistic model
- generative model
- probability theory
- circuit design
- probabilistic reasoning
- analog circuits
- belief networks
- orders of magnitude
- reinforcement learning