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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kröger, Fred (Autor), Merz, Stephan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Compilers (Computer programs).
Machine theory.
Software engineering.
Computer science.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares