Formal Verification of Control System Software
Pierre-Loic Garoche • Princeton University Press • ISBN-13 978‑0691181301
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
Canonical book record
Completeness 51
Cover quality: good
2manybooks editorial
This volume provides a rigorous examination of the mathematical techniques required to ensure the reliability of software within complex control systems. By bridging the gap between theoretical computer science and practical engineering, the text outlines systematic approaches for verifying safety-critical embedded applications. It serves as a comprehensive resource for researchers and practitioners focused on the formal validation of automated control logic.
Book metadata
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)
Current asking prices
Lowest
—
Median
—
Highest
—
Community comments
0 likes • 0 comments
Log in to like this book and join the discussion.
Loading comments…
Editions and similar books
Related titles. These are other books, not live offers for Formal Verification of Control System Software.
How Ancient Europeans Saw the World: Vision, Patterns, and the Shaping of the Mind in Prehistoric Times
Social Issues, Geopolitics, and Judaica
, ,
Spanish Made Simple: Revised and Updated
Case by Case: Psychoanalysis and the Political
Kabbalah in Italy, 1280-1510
Kinship by Covenant
A Short History of War
Thinking Big: How the Evolution of Social Life Shaped the Human Mind
Suggest catalog improvements
Log in to submit metadata updates for this book.