A Software Engineer Turns to Verify