Optimistic Synchronization-Based State-Space Reduction.

Scott D. Stoller, Ernie Cohen

Browse the full TACAS paper archive.