Temporal Logic and State Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Temporal Logic and State Systems PDF full book. Access full book title Temporal Logic and State Systems by Fred Kröger. Download full books in PDF and EPUB format.

Temporal Logic and State Systems

Temporal Logic and State Systems PDF Author: Fred Kröger
Publisher: Springer Science & Business Media
ISBN: 3540674012
Category : Computers
Languages : en
Pages : 440

Book Description
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.
➤