What is 'cleanroom'?

'Cleanroom' is a software process based on mathematical verification of components and statistical system-level testing.Cleanroom Software Engineering, Inc. keeps a more extensivedefinition, including a bibliography.