#noindex
= wikiadmin =
발음표기 not in kornorms [[Date(2023-11-14T23:56:52)]]
NdEn:correctness 보면
 발음 /kəréktnis/
 정확함
Ndict:correctness 보면
 정확도 정확성 정당성
등이 나오는데,
 Ndict:정확도 Ndict:정확성 Ndict:정당성
를 보면 정확도는 accuracy에 훨 어울리고
 [[정확도,accuracy]] - [[VG:정확도,accuracy]]
 '정당성,올바름' 중에 가급적 한자어보단 '올바름'으로 page made. [[Date(2023-11-14T23:56:52)]]
 나중에 필요하면 [[정당성,correctness]] 옳음,correctness 정확함,correctness 코렉트니스,correctness 커렉트니스,correctness ... 같은 page 만들 수도.
 [[정확성,correctness]]도 괜찮은 듯 한데.

----
일단 이 페이지 만든 이유 + 관심이 있는 것은 [[소프트웨어,software]] / program / computer_program 의 '''correctness'''인데 그외에...?

Twin

[[WpEn:Correctness_(computer_science)]]
https://en.wikipedia.org/wiki/Correctness_(computer_science)
 partial_correctness vs total_correctness
 보면 total은 도달하기 힘들다 (오른쪽 짧은 프로그램은 partially correct하지만, totally correct한지는 2023년 현재도 알려지지 않았다고)

Rel

삭제무방
[[software_correctness]] =,software_correctness =,software_correctness . software_correctness
 software correctness
 WtEn:software_correctness ?
 "software correctness"
 Ggl:"software correctness"

삭제무방
[[correctness_proof]] =,correctness_proof =,correctness_proof . correctness_proof
 correctness proof
 WtEn:correctness_proof ?
 "correctness proof"
 Ggl:"correctness proof"
 Up:
 [[증명,proof]]
 수학적증명 [[mathematical_proof]]


----
cf. / cmp. / mkl. (대충 생각난것들임, 삭제무방)

일관성 consistency ?
 KmsE:consistency
 Ndict:일관성 NdEn:일관성 ...보면

soundness 건전성 ?
 KmsE:soundness
 Ndict:건전성
 Ndict:soundness

[[표준,standard]]

verification
 KmsE:verification
 확인 / 검증 / ....and?
 NdEn:verification
 Ndict:verification
 esp.
  [[formal_verification]] =,formal_verification =,formal_verification . formal_verification Srch:formal_verification
  {
  formal verification
  https://en.wiktionary.org/wiki/formal_verification x [[Date(2023-11-14T23:56:52)]]
  https://simple.wikipedia.org/wiki/Formal_verification
  [[WpEn:Formal_verification]] = https://en.wikipedia.org/wiki/Formal_verification
  https://ja.wikipedia.org/wiki/形式的検証
   validation 과 verification 비교.
  ...
  Ndict:"formal verification"
  Naver:"formal verification"
  Ggl:"formal verification"
  Bing:"formal verification"
  }

품질 - [[질,quality]]

검사 검증 check inspection ...?

specification
esp
[[formal_specification]] =,formal_specification =,formal_specification . formal_specification Srch:formal_specification
 {
 '''formal specification'''

 MKL [[formal_system]] ... [[형식체계,formal_system]]?

 https://en.wikipedia.org/wiki/Formal_specification
 ( https://en.wikipedia.org/wiki/Program_specification redir to above. )

 https://ja.wikipedia.org/wiki/形式仕様記述

 ...
 "formal specification"
 Ggl:"formal specification"

 rel.
 [[formal_method]] =,formal_method =,formal_method . formal_method
  {
  '''formal method'''
  https://ko.wikipedia.org/wiki/정형_기법
  https://en.wikipedia.org/wiki/Formal_methods
  https://ja.wikipedia.org/wiki/形式手法
  Up: [[방법,method]]
  } // formal method

 } // formal specification

----
그래서 그 방식은

[[Hoare_logic]] =,Hoare_logic =,Hoare_logic . Hoare_logic
{
'''Hoare logic'''

https://en.wiktionary.org/wiki/Hoare_logic
[[WpEn:Hoare_logic]]


By [[Tony_Hoare]] { '''Tony Hoare''' or '''C. A. R. Hoare''' https://en.wikipedia.org/wiki/Tony_Hoare }
}