Formal Analysis by Abstract Interpretation | lit.salon