27 citations · 152 across the 31 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 4 cited
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.LO2019
Correct and Efficient Antichain Algorithms for Refinement Checking
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
The notion of refinement plays an important role in software engineering. It is the basis of a stepwise development methodology in which the correctness of a system can be establis…