Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification | IEEE Conference Publication | IEEE Xplore