Temporal logic and state systems / Fred Kröger, Stephen Merz.

Author
Kröger, Fred, 1945- [Browse]
Format
Book
Language
English
Published/​Created
Berlin : Springer, ©2008.
Description
xi, 433 p. : ill. ; 24 cm.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageBC199.T4 K76 2008 Browse related items Request

    Details

    Subject(s)
    Series
    Summary note
    Offers a 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. This book is suitable for lecturers, graduate students and researchers. 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.
    Bibliographic references
    Includes bibliographical references (p. [421]-428) and index.
    Contents
    • 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.
    ISBN
    • 9783540674016
    • 3540674012
    • 9783540686354
    • 3540686355
    LCCN
    2008921857
    OCLC
    231678341
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view

    Supplementary Information