How does Cleanroom software engineering differs from the conventional and object-oriented views ?

• A. It makes explicit use of statistical quality control
• B. It verifies design specification using a mathematically based proof of correctness
• C. It relies heavily on statistical use testing to uncover high-impact errors
• D. All of the mentioned