Structural Reductions and Stutter Sensitive Properties

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1

Verification of properties expressed as $\ddot{I}‰$-regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies. However prope…