Model-checking Timed Temporal Logics
Patricia Bouyer · Electronic Notes in Theoretical Computer Science · 2009
In this paper, we present several timed extensions of temporal logics, that can be used for model-checking real-time systems. We give different formalisms and the corresponding decidability/complexity results. We also give intuition to explain these results.