Probabilistic Verification for "Black-Box" Systems.

Håkan L. S. Younes

Published in: CAV (2005)

Keyphrases

black box
black boxes
hybrid systems
white box
formal methods
database
databases
bayesian networks
distributed systems
expert systems
management system
generative model
state transition
asynchronous circuits
integration testing