Cover Image
Read Now

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

Full description

Bibliographic Details
Main Authors: Kröger, Fred, Merz, Stephan (Author)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2008, 2008
Edition:1st ed. 2008
Series:Texts in Theoretical Computer Science. An EATCS Series
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of 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

Similar Items