Real-time and Probabilistic Temporal Logics: An Overview

Details Real-time and Probabilistic Temporal Logics: An Overview Real-time and Probabilistic Temporal Logics: An Overview

2010-05-18

arxiv.org/abs/1005.3200v3

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Real-time and Probabilistic Temporal Logics: An Overview does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Real-time and Probabilistic Temporal Logics: An Overview, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Real-time and Probabilistic Temporal Logics: An Overview will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-58182