Intro

This book provides a broad introduction to algorithms for validating safety-critical systems. We cover a wide variety of topics related to validation, introducing the underlying mathematical problem formulations and the algorithms for solving them.

Download

A preview of the full book is available as a PDF.

Buy

Printed copies will be coming soon.

A preview of the full book is available as a PDF.

Errata

Please file issues on GitHub or email the address listed at the bottom of the pages of the PDF. The PDF is kept up to date with any corrections.

Morty Proxy This is a proxified and sanitized view of the page, visit original site.