Real-time and Probabilistic Temporal Logics: An Overview

Frontiers of Computer Science 7(3): 370-403 (2013) Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been intr...

Full description

Saved in:
Bibliographic Details
Main Author Konur, Savas
Format Journal Article
LanguageEnglish
Published 18.05.2010
Subjects
Computer Science - Logic in Computer Science
Online AccessGet full text
DOI10.48550/arxiv.1005.3200

Cover

More Information
Summary:Frontiers of Computer Science 7(3): 370-403 (2013) Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed.
Bibliography:ULCS-08-020
DOI:10.48550/arxiv.1005.3200