Formal Verification Book