making formal proofs that programs meet specifications part of contracts制定: lay down; draw up; formulate ...形式: form; shape; layout; modalit ...证: prove; verify; demonstrate法: law形式证法: formal proof下载手机词典可随时随地查词查翻译
