3 papers
cs.FL2022
Structural Reductions and Stutter Sensitive Properties
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1
Verification of properties expressed as -regular languages such as LTL can benefit hugely from stutter insensitivity, using a diverse set of reduction strategies. However proper…
cs.LO2022
From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange +8
Spot is a C ++ 17 library for LTL and -automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, sinc…
cs.CL2021
LTL under reductions with weaker conditions than stutter-invariance
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1
Verification of properties expressed as-regular languages such as LTL can benefit hugely from stutter-insensitivity, using a diverse set of reduction strategies. However properties…