검증된 합성
검증된 합성은 생성된 프로그램이 형식적 명세와 수학적 증명을 통해 정확성(correctness)이 보장되는 합성을 의미한다. 이 과정은 코드, 명세, 정리문, 증명이 일관된 파이프라인으로 연결되어야 하며, 단일 산출물 중심의 생성보다 높은 상호일관성 확보가 요구된다. BRIDGE는 이 전체 파이프라인의 중간 표현을 설계하여 검증 가능성 확보를 목표로 한다.
