Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

All Linear-Time Congruences for Familiar Operators

Antti Valmari.
The detailed behaviour of a system is often represented as a labelled transition system (LTS) and the abstract behaviour as a stuttering-insensitive semantic congruence. Numerous congruences have been presented in the literature. On the other hand, there have not been many results proving the&nbsp;[&hellip;]
Published on November 12, 2013
Volume 9, Issue 4

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
  • < Previous
  • 1
  • Next >