Bibliografische Daten
ISBN/EAN: 9783540674016
Sprache: Englisch
Umfang: xii, 436 S., 34 s/w Illustr., 436 p. 34 illus.
Format (T/L/B): 2.7 x 24 x 16.2 cm
Einband: gebundenes Buch
Beschreibung
Thorough, uniform, state-of-the-art description of theory and application of temporal logic, including new fields such as connections to automata theory.Includes supplementary material: sn.pub/extras
Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Inhalt
InhaltsangabeBasic 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.
