On closure under stuttering

DOI10.1007/S00165-002-225-1MaRDI QIDQ1423532zbMATH OpenOpenAlexFDO

Authors Dimitrie O. Păun, Marsha Chechik

Publication date 7 March 2004

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-002-225-1

zbMATH Keywords

LTLModel-checkingClosure under stutteringEvent-based systems

Mathematics Subject Classification ID

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

Recommendations

• The stuttering principle revisited
• scientific article; zbMATH DE number 2102709
• Automated recognition of stutter invariance of LTL formulas
• scientific article; zbMATH DE number 1948168
• A note on a question of Peled and Wilke regarding stutter-invariant LTL

Cited in

(10)

• LTL is closed under topological closure
• The stuttering principle revisited
• Invariance under stuttering in a temporal logic of actions
• A note on a question of Peled and Wilke regarding stutter-invariant LTL
• scientific article; zbMATH DE number 2102709 (Why is no real title available?)
• Automated recognition of stutter invariance of LTL formulas
• Specification languages for stutter-invariant regular properties
• LTL under reductions with weaker conditions than stutter invariance
• scientific article; zbMATH DE number 1069482 (Why is no real title available?)
• Code generation for parallel applications modelled with object-based graph grammars

This page was built for publication: On closure under stuttering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1423532)