Partial-Order Reduction for GPU Model Checking

Thomas Neele*, A. Wijs, Dragan Bošnački, Jaco van de Pol

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
63 Downloads (Pure)


Dive into the research topics of 'Partial-Order Reduction for GPU Model Checking'. Together they form a unique fingerprint.

Computer Science