Login / Signup
A framework for compositional verification of multi-valued systems via abstraction-refinement.
Yael Meller
Orna Grumberg
Sharon Shoham
Published in:
Inf. Comput. (2016)
Keyphrases
</>
multi valued
probabilistic model
management system
single valued