A framework for compositional verification of multi-valued systems via abstraction-refinement

Abstract

We present a framework for fully automated compositional verification of μ-calculus specifications over multi-valued systems, based on multivalued abstraction and refinement. Multi-valued models are widely used in many applications of model checking. They enable a more precise modeling of systems by distinguishing several levels of uncertainty and… (More)
DOI: 10.1016/j.ic.2016.01.001

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Meller2009AFF, title={A framework for compositional verification of multi-valued systems via abstraction-refinement}, author={Yael Meller and Orna Grumberg and Sharon Shoham}, booktitle={Inf. Comput.}, year={2009} }