Characterization of Temporal Property Classes

  title={Characterization of Temporal Property Classes},
  author={Edward Y. Chang and Zohar Manna and Amir Pnueli},
This paper presents two novel characterizations of the classes of properties of reactive systems in terms of their expression by temporal logic. The rst family of characterizations concerns the safety-progress clas-siication, which describes a hierarchy within the set of temporal properties. Previous characterizations of this hierarchy depended critically on the use of past temporal operators. The characterization presented here identiies the future formulas that belong to each class. This… CONTINUE READING
Highly Cited
This paper has 86 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
54 Citations
1 References
Similar Papers


Publications citing this paper.

87 Citations

Citations per Year
Semantic Scholar estimates that this publication has 87 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Past Temporal Logic

  • L. Zuck
  • PhD thesis, Weizmann Institute,
  • 1986

Similar Papers

Loading similar papers…