safety-critical

靜態分析無法證明你的飛機不會墜毀，但它能證明更有價值的事

抽象解釋會對每一個可能的程式狀態進行過度近似。如果除零錯誤在抽象層中無法觸及，那麼在真實程式碼中也同樣無法觸及。以下是它的運作原理與局限性。