Algorithms for Validation

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.