noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2023년 2월 3일 (금) 06:19 Ahn9807 토론 기여님이 Soundness 문서를 만들었습니다 (새 문서: 분류: 전산 용어 == 개요 == Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다. 예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다. == 같이 보기 == # Completeness)