AFM: Automated Formal Methods