Verification of Reactive Systems: Formal Methods and Algorithms

by Klaus Schneider

"This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In particular, the [mu]-calculus, [omega]-automata, and temporal logics are covered in full detail; their relationship and state-of-the-art verification procedures based on these formal approaches are presented. Furthermore, the advantages and disadvantages of the formalisms from particular points of view are analyzed. Most results are given with detailed proofs, so that the presentation is almost self-contained." This book is targeted to advanced student, lecturers and researchers in the area of formal methods.

620 pages, Paperback

First published October 16, 2003