chi-Chek: A Multi-valued Model-Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marsha Chechik, Arie Gurfinkel, Benet Devereux. chi-Chek: A Multi-valued Model-Checker. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 505-509, Springer, 2002. [doi]

This author has not been identified. Look up 'Marsha Chechik' in GoogleThis author has not been identified. Look up 'Arie Gurfinkel' in GoogleThis author has not been identified. Look up 'Benet Devereux' in Google

runs on WebDSL