Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

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 versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets&nbsp;[&hellip;]
Published on July 21, 2021
Volume 17, Issue 3

Operations on Fixpoint Equation Systems

Thomas Neele ; Jaco van de Pol.
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by their definition, and swapping the ordering of equations, preserve the solution of a FES. We provide rigorous,&nbsp;[&hellip;]
Published on July 10, 2024
Volume 20, Issue 3
  • < Previous
  • 1
  • Next >