①소프트웨어 개발 주기에서 주어진 단계에서의 생산품이 이전 단계에서 수립된 요구들을 수행하는가를 결정하는 과정.
②프로그램 정확도의 형식 증명.
③항목들, 프로세스들, 서비스들, 또는 문서들이 명시된 요구들을 따르는지 재검토하고 조사하며 시험, 검사, 감사 및 문서화하는 행위.
④검증에는 주기 검증과 형식 검증의 두 가지 형태가 있다. 주기 검증은 개발 주기의 특정 단계에서 제작된 생산 제품이 그 이전 단계에서 설정한 규격들을 어느 정도 충족시키는지를 결정하는 과정이다. 형식 검증은 원시 부호가 규격에 맞게 작성되었는지를 수학적으로 엄격하게 증명하는 것이다.