A note on stutter-invariant PLTL

DOI10.1016/J.IPL.2009.02.020zbMATH Open1214.03015OpenAlexW2035480563MaRDI QIDQ989448FDOQ989448

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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

Cited In (2)

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

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)