Chuchu Fan: Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
ACM, October 2024, 184 pp, ISBN: 979-8-4007-0865-7. https://dl.acm.org/doi/book/10.1145/3603288
Summary
The book Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications by Chuchu Fan sets forth a vision for formal verification of cyber-physical systems recast in the data-driven age. By making simulators an integral part of the verification and synthesis processes, the book introduces a family of scalable algorithms that provide guarantees of safe autonomy and illustrates them on a set of formally validated applications. Achieving scalability while maintaining the rigor of formal methods is what sets this work apart from previous approaches.
Although not primarily intended as an introductory text, this book can nonetheless serve as a solid entry point into formal verification and synthesis of cyber-physical systems, particularly for graduate students and researchers with an interest in the field. The included examples and case studies make it a valuable resource for teaching.