Jump to ContentJump to Main Navigation
Formal Verification of Control System Software - Princeton Scholarship Online
Users without a subscription are not able to see the full content.

Formal Verification of Control System Software

Pierre-Loïc Garoche


The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provid ... More

Keywords: control system software, control engineers, software verification, controller software, critical systems

Bibliographic Information

Print publication date: 2019 Print ISBN-13: 9780691181301
Published to Princeton Scholarship Online: January 2020 DOI:10.23943/princeton/9780691181301.001.0001


Affiliations are at time of print publication.

Pierre-Loïc Garoche, author