Assume-Guarantee Abstraction Refinement for Probabilistic Systems.

Anvesh Komuravelli Corina S. Pasareanu Edmund M. Clarke

Published in: CAV (2012)

Keyphrases

computer systems
information retrieval
computer vision
learning systems
building blocks
generative model
computing systems
databases
uncertain data
information theoretic
retrieval systems
distributed systems
information retrieval systems
management system
probabilistic model
expert systems
digital libraries