Myth : Correctness verification is difficult and
       time-consuming

For designing safety-critical applications, correctness proof is demanding and requires mathematical abilities. However, programmers who work on such applications should possess these skills since the quality of the product is such a high factor in these cases. The level of formality of verification and statistical testing may vary, depending on the project.
A lot of time IS spent on correctness proof and statistical testing. The time is well spent since we ensure that the final product is nearly defect-free. This eliminates the need to waste time and money on fixing bugs in the finished product.
 

Myth : Cleanroom cannot be used for small projects

Cleanroom has been proven to work for projects of all sizes- ranging from commercial GUI development to aerospace applications for space flight. Team size is also flexible - it is possible for Cleanroom to be applied to teams as small as three persons.