Did anyone actually verify 10,000 lines with zero defects? IBM did, and the methodology is stranger than the result.
Cleanroom software engineering promised zero-defect increments through mathematical verification instead of debugging.
The software industry average in the 1980s was 30 to 60 defects per thousand lines of code. IBM's Cleanroom team shipped a 20,000-line compiler increment with…