Analisis Statis Tidak Bisa Membuktikan Pesawat Anda Tidak Akan Jatuh. Ia Bisa Membuktikan Sesuatu yang Lebih Berguna.
Interpretasi abstrak melebihi-aproksimasi setiap kemungkinan keadaan program. Jika pembagian dengan nol tidak terjangkau dalam abstraksi, maka ia tidak terjangkau dalam kode nyata. Berikut cara kerjanya dan di mana ia mengalami kegagalan.
