Do formal methods really work? | IEEE Conference Publication | IEEE Xplore