بایگانی برچسب: تحلیل ایستا

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

ادامه نوشته »