A Performance Study of BDD-Based Model Checking

Institute for Software Research