Parameterized Verification by Probabilistic Abstraction.

Tamarah Arons Amir Pnueli Lenore D. Zuck

Published in: FoSSaCS (2003)

Keyphrases

probabilistic model
probabilistic logic
high level
hardware designs
model checking
formal verification
bayesian networks
data driven
information theoretic
face verification
probability theory
bounded model checking
neural network
graphical models
posterior probability
probabilistic networks