What Use is Verified Software? | IEEE Conference Publication | IEEE Xplore