8 citations · 8 across the 1 of their papers we have counts for
2 papers
cs.LO2019
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
Thomas Neele, Antti Valmari, Tim A. C. Willemse
In model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many…
cs.DC2017★ 8 cited
On the Scalability of the GPUexplore Explicit-State Model Checker
Nathan Cassee, Thomas Neele, Anton Wijs
The use of graphics processors (GPUs) is a promising approach to speed up model checking to such an extent that it becomes feasible to instantly verify software systems during deve…