Soundness

개요

Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다.

예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다.

같이 보기

1. Completeness