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. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Dax, C., Klaedtke, F., & Leue, S. (2009). Specification languages for stutter-invariant regular properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5799 LNCS, pp. 244–254). https://doi.org/10.1007/978-3-642-04761-9_19
Mendeley helps you to discover research relevant for your work.