activity
20172025
most citedOn the Scalability of the GPUexplore Explicit-State Model Checker

8 citations · 15 across the 8 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 3 cited

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Thomas Neele, Antti Valmari, Tim A. C. Willemse

One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very ve…