Advanced Formal Verification