Specification Languages for Stutter-Invariant Regular Properties

Download PDF
Open Webpage

Christian Dax, Felix Klaedtke, Stefan Leue

Published: 2009, Last Modified: 16 May 2024ATVA 2009EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present specification languages that naturally capture exactly the regular and ω-regular properties that are stutter invariant. Our specification languages are variants of the classical regular expressions and of the core of PSL, a temporal logic, which is widely used in industry and which extends the classical linear-time temporal logic LTL by semi-extended regular expressions.