Abstract Interpretation Review and Validation Protocol | Abstract Interpretation | Formal Methods | NEROS