Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements.

Sergio Giro Markus N. Rabe

Published in: ATVA (2012)

Keyphrases

partial information
incomplete information
distributed systems
model checking
bayesian networks
orders of magnitude
retrieval systems
formal verification
information retrieval
computer systems
complex systems
probabilistic logic
asynchronous circuits