BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems.

Tevfik Bultan

Browse the full TACAS paper archive.