A Decidable Temporal Logic of Repeating Values


Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this paper, we study a linear-time temporal logic with pasttime operators such that the freeze operator is only used to express that some value from an infinite set is… (More)
DOI: 10.1007/978-3-540-72734-7_13


1 Figure or Table

Slides referencing similar topics