Verification based inspection

摘要

A realization from cleanroom experience is that the software inspection can be driven by correctness verification ideas. Specifically, the questions to be asked by inspectors and the order in which they are to be asked can be automatically created from correctness proofs. The verification based inspection is qualitatively superior to the formal inspection in developing software with near zero defects.