w local

보이는 번역들:
검증 - 으로 2024-06-04 결정.
검산 (산술,arithmetic의 경우)
확인 - 이건 confirmation에 더 잘 들어맞는 듯 해서 page name 검증으로 하였음. 유사개념임.
verfication 뜻은
입증
검증
인증
(제품의) 품질 검사
(산술의 경우) 검산

rel.
정확성 증명 , 정확성증명 correctness proof correctness_proof - 정확성,correctness 증명,proof

Sub:
formal_verification

MKL
EDA (설계자동화)
명세,specification에 완벽히 들어맞는지 check하는 것?? chk

https://en.wikipedia.org/wiki/Verification