4K1 Software is devilishly hard to inspect.
Serious errors can hide for years.
Consequently, many are hesitant to employ software in safety-critical applications and all companies are finding correcting and improving software to be an increasingly burdensome cost. This talk describes a procedure for inspecting software that consistently finds subtle errors in software, software that is believed to be correct. 7 Reviewers exploit the hierarchical structure of the code rather than proceeding sequentially through the code. 7 Reviewers focus on small sections of code, producing precise summaries that are used when inspecting other such sections. 7 Reviewers proceed systematically so that no case, and no section of the program, gets overlooked.