Abstract Interpretation Execution Protocol | Abstract Interpretation | Formal Methods | NEROS