Is formal verification ready for general use or do you need a PhD to use it? Larger companies continue to recruit formal PhDs into their verification teams while other less-qualified engineers seem reluctant to go… Formal Verification for non-specialists