Trust by Construction

시스템의 설계와 구축 단계부터 올바른 규칙을 적용하여 결과물의 정확성을 보장하는 방식이다. 인간이 논리적으로 설계한 컴파일러가 대표적인 사례이며, 결과물을 따로 검증하지 않아도 신뢰할 수 있는 상태를 의미한다.