Title: Formal Analysis by Abstract Interpretation