verification_of_reactive_systems._texts_in_theoretical_computer_science_eatcs

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.

Hardcover

First published October 16, 2003