Applied Formal Verification