Advertisement

Temporal Logic and State Systems

  • Fred Kröger
  • Stephan Merz

Part of the Texts in Theoretical Computer Science book series (TTCS)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Fred Kröger, Stephan Merz
    Pages 1-17
  3. Fred Kröger, Stephan Merz
    Pages 19-64
  4. Fred Kröger, Stephan Merz
    Pages 65-99
  5. Fred Kröger, Stephan Merz
    Pages 101-152
  6. Fred Kröger, Stephan Merz
    Pages 153-179
  7. Fred Kröger, Stephan Merz
    Pages 181-212
  8. Fred Kröger, Stephan Merz
    Pages 213-256
  9. Fred Kröger, Stephan Merz
    Pages 257-302
  10. Fred Kröger, Stephan Merz
    Pages 303-337
  11. Fred Kröger, Stephan Merz
    Pages 339-373
  12. Fred Kröger, Stephan Merz
    Pages 375-412
  13. Back Matter
    Pages 413-433

About this book

Introduction

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

Authors and affiliations

  • Fred Kröger
    • 1
  • Stephan Merz
    • 2
  1. 1.Institut für Informatik Ludwig-Maximilians-Universität München80538 MünchenGermany
  2. 2.INRIA Lorraine & LORIA54602 Villers-lés-NancyFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-68635-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-67401-6
  • Online ISBN 978-3-540-68635-4
  • Series Print ISSN 1862-4499
  • Buy this book on publisher's site