Specification Languages for Stutter-Invariant Regular Properties

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.

• Type: Conference
• Year: 2009
• Where: ATVA
• Authors: Christian Dax, Felix Klaedtke, Stefan Leue
• Keywords: ATVA 2009, Classical Regular Expressions, Hardware, Specification Languages, Temporal Logic