\chiChek: A Model Checker for Multi-Valued Reasoning.

Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh

Browse the full ICSE paper archive.