Partial Order Reduction for Deep Bug Finding in Synchronous Hardware.

Makai Mann, Clark W. Barrett

Browse the full TACAS paper archive.