Revisiting Stateful Partial-Order Reduction

Frédéric Herbreteau, Sarah Larroze-Jardiné, Gérald Point +1

The goal of partial-order methods is to accelerate the exploration of concurrent systems by examining only a representative subset of all possible runs. The stateful approach build…