Verification, Model Checking, And Abstract Interpretation door L.D. Ed Zuck