Abstract: In this chapter, we discuss logic-based formalism as descriptive notations that allow users to provide and analyze system models in terms of their properties. We discuss and compare various types of temporal logic with respect to their expressive power, their relation to transition systems, and the features of the assumed underlying time domain. We also present other logic-based formalisms that entertain an explicit notion of time without using the modal operators typical of temporal logics, and we introduce probabilistic logic-based models that assign probabilities to events and can therefore express requirements on the probability of certain system evolutions to occur. The chapter concludes with a brief review of the tools supporting the analysis techniques associated with the formalism.
Publication Year: 2012
Publication Date: 2012-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot