formal-reasoning

수학적 논리와 엄격한 규칙을 사용하여 시스템의 동작이 명세에 부합하는지 증명하는 방법이다. 소프트웨어나 알고리즘의 오류가 없음을 논리적으로 보장하기 위해 사용된다.