Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.

Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples

Browse the full ICSE paper archive.