Abstract Interpretation Protocol Design | Abstract Interpretation | Formal Methods | NEROS