Publisher's Synopsis
Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modelling and analysing cyber-physical systems, with a strong focus on verification. It distils the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modelling and verification techniques for cyber-physical systems.