-정적 검증 기법을 기반으로 한 소프트웨어 개발 철학 -“Cleanroom”이란 용어는 반도체 조립공정에서 사용 -결함의 수정보다는 결함을 회피하는 것을 기반으로 함 -소프트웨어를 시험하기 전에 결함을 발견하기 위한 엄격하고 정형화된 감사 과정을 사용