A note on stutter-invariant PLTL

DOI10.1016/j.ipl.2009.02.020zbMath1214.03015OpenAlexW2035480563MaRDI QIDQ989448

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)

Uses Software

• SPIN

Cites Work

• 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 decision procedure for propositional projection temporal logic with infinite models
• Complexity of propositional projection temporal logic with star
• Unnamed Item