← 전체 언어
Verified Evaluation Criterion Specification .vecs
시스템이 자신의 기준을 옮길 수 있어서는 안 됩니다.
범위가 정해진 결정론적 결과를 내는 평가 기준을 정의합니다.
자체 평가 기준을 수정하거나 승격을 승인할 수 없습니다. 기준이 옳다는 것을 증명하지 않습니다.