Temporal logic has developed over the last30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Cited By
- Ferrarotti F, Schewe K, Tec L and Wang Q (2018). A unifying logic for non-deterministic, parallel and concurrent abstract state machines, Annals of Mathematics and Artificial Intelligence, 83:3-4, (321-349), Online publication date: 1-Aug-2018.
- Hedblom M, Gromann D and Kutz O In, out and through Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (918-925)
- Schewe K, Ferrarotti F, Tec L, Wang Q and An W Evolving concurrent systems Proceedings of the Australasian Computer Science Week Multiconference, (1-10)
- Beckett R, Greenberg M and Walker D (2016). Temporal NetKAT, ACM SIGPLAN Notices, 51:6, (386-401), Online publication date: 1-Aug-2016.
- Beckett R, Greenberg M and Walker D Temporal NetKAT Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (386-401)
- Masellis R, Ghidini C and Ranise S A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies Proceedings of the 11th International Workshop on Security and Trust Management - Volume 9331, (55-71)
- Moszkowski B and Guelev D An Application of Temporal Projection toźInterleaving Concurrency Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 9409, (153-167)
- Latte M and Lange M Branching time? pruning time! Proceedings of the 6th international joint conference on Automated Reasoning, (393-407)
- Ranise S and Armando A On the automated analysis of safety in usage control Proceedings of the 6th international conference on Network and System Security, (15-28)
- Angius N and Tamburrini G (2011). Scientific Theories of Computational Systems in Model Checking, Minds and Machines, 21:2, (323-336), Online publication date: 1-May-2011.
- Gardoň A and Horák A Time dimension in the dolphin nick knowledge base using transparent intensional logic Proceedings of the 14th international conference on Text, speech and dialogue, (323-330)
- Babenyshev S and Rybakov V Reasoning and inference rules in basic linear temporal logic BLTL Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II, (224-233)
- Fröschle S and Sommer N Reasoning with past to prove PKCS#11 keys secure Proceedings of the 7th International conference on Formal aspects of security and trust, (96-110)
Index Terms
- Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)