This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents a

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent ye

This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counte