Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.
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.
Content Level »Research
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