Temporal Logic and State Systems

verfasst von: Fred Kröger, Stephan Merz

Verlag: Springer Berlin Heidelberg

Buchreihe : Texts in Theoretical Computer Science. An EATCS Series

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Einloggen, um Zugang zu erhalten

Über dieses Buch

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.

Inhaltsverzeichnis

Backmatter

Titel: Temporal Logic and State Systems
verfasst von: Fred Kröger
Stephan Merz
Verlag: Springer Berlin Heidelberg
Electronic ISBN: 978-3-540-68635-4
Print ISBN: 978-3-540-67401-6
DOI: https://doi.org/10.1007/978-3-540-68635-4

Springer Professional

Temporal Logic and State Systems

Über dieses Buch

Inhaltsverzeichnis

Frontmatter

11. Basic Concepts and Notions of Logics

2. Basic Propositional Linear Temporal Logic

3. Extensions of LTL

4. Expressiveness of Propositional Linear Temporal Logics

5. First-Order Linear Temporal Logic

6. State Systems

7. Verification of State Systems

8. Verification of Concurrent Programs

9. Structured Specification

10. Other Temporal Logics

11. System Verification by Model Checking

Backmatter