Knowledge in formal verification tutorial