Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification | IEEE Conference Publication | IEEE Xplore