Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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 Storage
BC199.T4 K76 2008
Browse related items
Request
Details
Subject(s)
Logic, Symbolic and mathematical
[Browse]
Time
[Browse]
Tense (Logic)
[Browse]
Related name
Merz, Stephan
[Browse]
Series
Texts in theoretical computer science ; ISSN 1862-4499.
[More in this series]
Texts in theoretical computer science.
[More in this series]
Texts in theoretical computer science, 1862-4499
[More in this 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.
Show 8 more Contents items
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information