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
Descripción
Sumario: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.
Descripción Física:XII, 436 p. 34 illus. online resource.
ISBN:9783540686354
ISSN:1862-4502

Ejemplares similares