Finding Your Way Through Formal Verification