research
∙
04/14/2023
Operations on Fixpoint Equation Systems
We study operations on fixpoint equation systems (FES) over arbitrary co...
share
research
∙
12/31/2020
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
One of the most popular state-space reduction techniques for model check...
research
∙
10/22/2019
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
In model checking, partial-order reduction (POR) is an effective techniq...
research
∙
12/27/2017