Report - Multi-Valued Symbolic Model-Checkingsme/papers/2003/TOSEM-mvmodelchecking.pdf · Combining these ideas yields a clean extension of the theory of classical model-checking, applicable

Please pass captcha verification before submit form