Basic Concepts and Notions of Logics -- Basic Propositional Linear Temporal Logic -- Extensions of LTL -- Expressiveness of Propositional Linear Temporal Logics -- First-Order Linear Temporal Logic -- State Systems -- Verification of State Systems -- Verification of Concurrent Programs -- Structured Specification -- Other Temporal Logics -- System Verification by Model Checking

Summary

Temporal logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book offers a comprehensive description of this field

Bibliography

Includes bibliographical references (pages 421-428) and index