Specification Languages for Stutter-Invariant Regular Properties

DOI10.1007/978-3-642-04761-9_19zbMath1262.68114OpenAlexW1576691229MaRDI QIDQ3648702

Stefan Leue, Christian Dax, Felix Klaedtke

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-105344

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

An application of temporal projection to interleaving concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stutter-invariant temporal properties are expressible without the next-time operator
• A note on a question of Peled and Wilke regarding stutter-invariant LTL
• A stubborn attack on state explosion
• Combining partial-order reductions with on-the-fly model-checking.
• An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
• A partial approach to model checking
• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• From Philosophical to Industrial Logics
• On Regular Temporal Logics with Past,
• Some Complexity Results for SystemVerilog Assertions
• Partial-order reduction in symbolic state-space exploration

This page was built for publication: Specification Languages for Stutter-Invariant Regular Properties