chi-Chek: A Multi-valued Model-Checker.

Marsha Chechik, Arie Gurfinkel, Benet Devereux

Browse the full CAV paper archive.