Implementing a Multi-valued Symbolic Model Checker.

Marsha Chechik, Benet Devereux, Steve M. Easterbrook

Browse the full TACAS paper archive.