Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Temporal Logic and State Systems - Fred Kröger, Stephan Merz

Temporal Logic and State Systems

Buch | Softcover
XII, 436 Seiten
2010 | 1. Softcover reprint of hardcover 1st ed. 2008
Springer Berlin (Verlag)
978-3-642-08680-9 (ISBN)
CHF 112,30 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

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.

Fred Kröger: Since 1971 working in Computer Science. 1980-1986 Professor for Computer Science at Technical University of Munich. Since 1986 Professor for Computer Science at University of Munich

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.

From the reviews:

"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport's Temporal Logic of Actions (TLA), and model checking methods. ... The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels." (Regimantas Pliuskevicius, Mathematical Reviews, Issue 2009 m)

"The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science." (Valentin Goranko, Studia Logica, Vol. 94, 2010)

Erscheint lt. Verlag 25.11.2010
Reihe/Serie Texts in Theoretical Computer Science. An EATCS Series
Zusatzinfo XII, 436 p. 34 illus.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 672 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte Automata • Branching-time temporal logic, CTL, CTL • Branching-time temporal logic, CTL, CTL* • Concurr • Concurrent programming • Correct Software Development • Expressiveness, automata techniques • Formal methods of system development • Linear-time temporal logic, LTL and its variants • Logic • Model Checking • Refinement, composition, and hiding • Specification, correctness properties • State systems • temporal logic • Temporal Logic of Actions, TLA • Transition systems, state systems • verification • Verification, proof rules
ISBN-10 3-642-08680-2 / 3642086802
ISBN-13 978-3-642-08680-9 / 9783642086809
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85