You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Text;
Electronic Conference Proceeding
Title:
Specification Languages for Stutter-Invariant Regular Properties
Contributor:
Dax, Christian
[Author];
Klaedtke, Felix
[Author];
Leue, Stefan
[Author]
Published:
KOPS - The Institutional Repository of the University of Konstanz, 2009
Language:
English
DOI:
https://doi.org/10.1007/978-3-642-04761-9_19
Origination:
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
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. ; published