Amvik eBook Solutions

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 unive

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research tradit

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