Verification, Model Checking and Abstract Interpretation | Revista