Authors:
- Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.
- Includes supplementary material: sn.pub/extras
Part of the book series: Texts in Theoretical Computer Science. An EATCS Series (TTCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
About this book
Temporal logic has developed over the last 30 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.
Keywords
- Branching-time temporal logic, CTL, CTL*
- Concurr
- Concurrent programming
- Correct software development
- Formal methods of system development
- Linear-time temporal logic, LTL and its variants
- Refinement, composition, and hiding
- Specification, correctness properties
- Temporal Logic of Actions, TLA
- Temporal logic
- Verification, proof rules
- automata
- logic
- model checking
- verification
Reviews
From the reviews:
"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. … The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)
“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. … This is a rich in content book, with many important topics and examples treated in much technical depth. … a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.” (Valentin Goranko, Studia Logica, Vol. 94, 2010)
Authors and Affiliations
-
Institut für Informatik Ludwig-Maximilians-Universität München, 80538 München, Germany
Fred Kröger
-
INRIA Lorraine & LORIA, 54602 Villers-lés-Nancy, France
Stephan Merz
Bibliographic Information
Book Title: Temporal Logic and State Systems
Authors: Fred Kröger, Stephan Merz
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-540-68635-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Hardcover ISBN: 978-3-540-67401-6Published: 27 March 2008
Softcover ISBN: 978-3-642-08680-9Published: 25 November 2010
eBook ISBN: 978-3-540-68635-4Published: 12 March 2008
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: XII, 436
Number of Illustrations: 34 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Software Engineering, Logics and Meanings of Programs