Time Passive Property in Linear Past Temporal Logic
Download:
|
|
by Robert J. Zhang, Elizabeth A. Unger
ftp://ftp.cis.ksu.edu/pub/CIS/Unger/tr95-6.ps
Add To MetaCart
Abstract:
Abstract: The concept of a time passive property, called localizability, of a linear temporal logic is introduced in this paper. By time passive, we mean the truth value of a temporal logic formula will not change as the time progresses as long as atomic propositions in the formula don't change. Several sublanguages are identified as possessing this property. Also, the computational complexity is studied for verification of this property in linear past temporal logics. 2
Citations
| 2771 | Introduction to Automata Theory, Language, and Computation – Hopcroft, Ullman - 1979 |
| 1345 | A.: The Temporal Logic of Reactive and Concurrent Systems – Manna, Pnueli - 1992 |
| 910 | Temporal and modal logic – Emerson - 1990 |
| 248 | E.: The complexity of propositional linear temporal logic – Sistla, Clarke - 1985 |
| 44 | History-less Checking of Dynamic Integrity Constraints – Chomicki - 1992 |
| 37 | On the Feasibility of Checking Temporal Integrity Constraints – Chomicki, Niwinski - 1995 |
| 14 | Temporal Logic Can Be More Expressive Information and Control – Wolper - 1983 |
| 1 | On characterization of safety and liveness in temporal logic – SISTLA |
