Formal Verification Interview Questions