Temporal Logic and State Systems

Temporal Logic and State Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 440
Release :
ISBN-10 : 9783540674016
ISBN-13 : 3540674012
Rating : 4/5 (16 Downloads)

Book Synopsis Temporal Logic and State Systems by : Fred Kröger

Download or read book Temporal Logic and State Systems written by Fred Kröger and published by Springer Science & Business Media. This book was released on 2008-03-27 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Temporal Logic and State Systems Related 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

DOWNLOAD EBOOK

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
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

DOWNLOAD EBOOK

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
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 432
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Temporal Logics in Computer Science
Language: en
Pages: 753
Authors: Stéphane Demri
Categories: Computers
Type: BOOK - Published: 2016-10-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
Temporal Logic of Programs
Language: en
Pages: 150
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language