The Problem I've spent some time with Cleanroom Software Engineering attributed to Harlan Mills. Without a doubt it is my favorite development technique. In a nutshell, CSE gives me the following benefits: Certified reliability metrics of the code base Formal verification of code correctness Certification of code based on actual