올바름,correctness

wikiadmin ¶

발음표기 not in kornorms 2023-11-15

correctness보면

발음 /kəréktnis/
정확함

correctness보면

정확도 정확성 정당성

등이 나오는데,

를 보면 정확도는 accuracy에 훨 어울리고

정확도,accuracy -

정확도,accuracy
'정당성,올바름' 중에 가급적 한자어보단 '올바름'으로 page made. 2023-11-15
나중에 필요하면 정당성,correctness 옳음,correctness 정확함,correctness 코렉트니스,correctness 커렉트니스,correctness ... 같은 page 만들 수도.
정확성,correctness도 괜찮은 듯 한데.

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

Twin

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

software_correctness ?
"software correctness"

software correctness

삭제무방
correctness_proof =,correctness_proof =,correctness_proof . correctness_proof

correctness proof

correctness_proof ?
"correctness proof"

correctness proof
Up:
증명,proof
수학적증명 mathematical_proof

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

일관성 consistency ?

일관성 ...보면

soundness 건전성 ?

표준,standard

verification

verification
확인 / 검증 / ....and?

verification
esp.

formal_verification =,formal_verification =,formal_verification . formal_verification

formal_verification
{
formal verification
https://en.wiktionary.org/wiki/formal_verification x 2023-11-15
https://simple.wikipedia.org/wiki/Formal_verification

Formal_verification = https://en.wikipedia.org/wiki/Formal_verification
https://ja.wikipedia.org/wiki/形式的検証

validation 과 verification 비교.

...

formal verification

formal verification

formal verification

formal verification
}

품질 - 질,quality

검사 검증 check inspection ...?

specification
esp
formal_specification =,formal_specification =,formal_specification . formal_specification

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"

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

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