Partial-Order Reduction for GPU Model Checking.

Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol

Browse the full ATVA paper archive.