From the perspective of application scope,

1) Cleanroom method cleanroom software engineering method is a formal method, which can produce high-quality software. Cleanroom method is a strict software engineering method. It is a software process model that emphasizes mathematical verification of correctness and certification of software reliability. Its objectives and results have a very low error rate, which is difficult or impossible to achieve by using non formal methods.