متون موجود در حال حاضر برای دانش آموزان و محققان بسیار عمومی است و فقط تکنیکهای رسمی تحلیل استاتیک(Static Analysis) را پوشش میدهند.
این کتاب نمونههای واقعی از تکنیکهای رسمی به نام «تفسیر انتزاعی»(Abstract Interpretation) در حال حاضر در صنایع مختلفی مورد استفاده قرار می گیرد، شامل: راه آهن، هوانوردی، فضا، خودرو و غیره.
هدف از این کتاب این است که دانش آموزان و محققان را در یک کتاب واحد با مجموعه بزرگی از تجربه افرادی که به طور ذاتی در اجرا و ارزیابی سیستمهای ایمنی ضروری(Safety-Critical) مبتنی بر نرم افزار دخیل بودهاند، آشنا کرده و آنها را پرزنت کند. همانطور که این نویسندگان افرادی هستند که در حال حاضر در صنعت مشغول به کار میباشند، مشکلات معمول محرمانگی، که می تواند با سایر کتابها نیز اتفاق بیافتد، یک مساله نبوده و بنابراین امکان ارائه اطلاعات مفید جدید(عکسها، طرحهای معماری، نمونههای واقعی) را فراهم میکند.