Formal Verification of Control System Software

Formal Verification of Control System Software

Pierre-Loic Garoche • Princeton University Press

This edition of Formal Verification of Control System Software

ISBN-10: 0691181306 · ISBN-13: 978‑0691181301 · 2019 · 1st Edition

Live offer for this book: 12 live copies of this book from $18.87 (as of 2026-08-27).

Dimensions: 9.3 × 6.4 × 0.8 in

Canonical book record

Completeness 52

Cover quality: good

2manybooks editorial

This volume provides a rigorous examination of the mathematical and computational techniques required to ensure the reliability of control system software. Pierre-Loic Garoche explores the intersection of formal methods and embedded systems, offering a comprehensive framework for verifying safety-critical applications. The text serves as a technical resource for researchers and engineers tasked with the development of robust, error-free control logic in complex environments.

Book metadata

Marketplace observations

12 live copies of this book from $18.87 (as of 2026-08-27).

Contributors

Community tags

Inferred themes

Machine-inferred from catalog text. Not verified subjects.

Stored catalog notes

Community signals

Have: 3 · Like: 4 · Rating: 3.2 / 5 (6)