Title: Formal Analysis a Complete Guide - 2020 Edition