Temporal Logic and State Systems

Temporal Logic and State Systems

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.

GET EBOOK

Author
Publisher Springer Science & Business Media
Release Date
ISBN 3540674012
Pages 440 pages
Rating 4/5 (16 users)

More Books:

Temporal Logic and State Systems
Language: en
Pages: 440
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2008-03-27 - Publisher: Springer Science & Business Media

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 unive
Temporal Logic
Language: en
Pages: 416
Authors: Peter Øhrstrøm
Categories: Philosophy
Type: BOOK - Published: 2007-08-27 - Publisher: Springer Science & Business Media

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the fi
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 427
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Language: en
Pages: 164
Authors: Ron Koymans
Categories: Computers
Type: BOOK - Published: 1992-12-14 - Publisher: Springer Science & Business Media

Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natur
Advances in Temporal Logic
Language: en
Pages: 453
Authors: Howard Barringer
Categories: Mathematics
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studie
Temporal Logic in Specification
Language: en
Pages: 452
Authors: Behnam Banieqbal
Categories: Computers
Type: BOOK - Published: 1989-10-11 - Publisher: Springer Science & Business Media

Self-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rar
Temporal Logic
Language: en
Pages: 564
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 1994-06-29 - Publisher: Springer Science & Business Media

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its concep
Temporal Logic
Language: en
Pages: 273
Authors: Nicholas Rescher
Categories: Science
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been pro
Temporal Logic of Programs
Language: en
Pages: 148
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language
An Introduction to Practical Formal Methods Using Temporal Logic
Language: en
Pages: 368
Authors: Michael Fisher
Categories: Technology & Engineering
Type: BOOK - Published: 2011-03-16 - Publisher: John Wiley & Sons

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple