کتاب زبان اصلی Formal Verification of Control System Software  کتاب اثبات رسمی نرم افزارهای کنترل سیستم ها Formal Verification of Control System Software Princeton Series in Applied Mathematics 67 نوشته پیرلوئیک گاروش PierreLoic Garoche در سال 2022 منتشر شده است این کتاب به مباحث مربوط به اعتبارسنجی و اثبات صحت نرم افزارهای کنترل سیستم های بحرانی می پردازد نویسنده با تمرکز بر روش های ریاضی چگونگی اثبات صحت و عدم وجود خطا در این نرم افزارها را تشریح می کند کتاب برای مهندسین نرم افزار مهندسین کنترل و دانشجویان تحصیلات تکمیلی مفید است پیرلوئیک گاروش استاد ممتاز دانشگاه تولوز فرانسه و محقق برجسته در زمینه نرم افزارهای بحرانی است x000D   x000D