형식 검증이란?

다른 표기 formal verification

형식 검증은 소프트웨어가 의도대로 움직이는지를 시험이 아니라 수학 증명으로 확인하는 방법이다. 증명이 끝나면 증명한 범위 안에서는 그 결함이 없다고 말할 수 있다.