A note on stutter-invariant PLTL

DOI10.1016/J.IPL.2009.02.020MaRDI QIDQ989448zbMATH OpenOpenAlexFDO

Authors Cong Tian, Zhenhua Duan

Publication date 20 August 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2009.02.020

zbMATH Keywords

formal languagepartial order reductionnormal frompropositional linear temporal logicstutter-invariant

Mathematics Subject Classification ID

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

Recommendations

• A note on a question of Peled and Wilke regarding stutter-invariant LTL
• Invariance under stuttering in a temporal logic without the ``until operator
• scientific article; zbMATH DE number 2102709
• The stuttering principle revisited
• Invariance under stuttering in a temporal logic of actions

Cites work

• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• A decision procedure for propositional projection temporal logic with infinite models
• A note on a question of Peled and Wilke regarding stutter-invariant LTL
• Complexity of propositional projection temporal logic with star
• Stutter-invariant temporal properties are expressible without the next-time operator

Cited in

(2)

• Invariance under stuttering in a temporal logic without the ``until operator
• A note on a question of Peled and Wilke regarding stutter-invariant LTL

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: A note on stutter-invariant PLTL

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