정형 명세
시스템의 동작이나 속성을 수학적으로 엄밀하게 정의하는 기법이다. 자연어의 모호성을 제거하여 AI 에이전트가 구현해야 할 정확한 기준을 제공하며, 오류 발생 시 책임 소재를 명확히 하는 데 필수적이다.