Book Cover
E-book
Author Kröger, Fred, 1945-

Title Temporal logic and state systems / Fred Kröger, Stephen Merz
Published Berlin : Springer, ©2008

Copies

Description 1 online resource (xi, 433 pages) : illustrations
Series Texts in theoretical computer science, 1862-4499
Texts in theoretical computer science.
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
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
Notes Print version record
Subject Logic, Symbolic and mathematical.
Time.
Tense (Logic)
time.
Tense (Logic) .
Logic, Symbolic and mathematical.
Time.
Informatique.
Logic, Symbolic and mathematical
Tense (Logic)
Time
Temporele logica.
Form Electronic book
Author Merz, Stephan.
ISBN 9783540686354
3540686355
9783540674016
3540674012