No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited.

Rik van Spreuwel, Anton Wijs

Browse the full ISoLA paper archive.