PLSE
safety property
- 항상 유지되는 성질
- 늘 유지되는 성질
- 늘 성질
- 항상만족 성질
- 내내 성질
- 항상성
- 항상 성질
댓글 9개
허
허기홍·항상성·일 년 전
줄여서 항상성이 어떨까요? 항상성은 고등학교 생물 교과서에도 나오는 내용이라 고등학생들도 유추할 수 있을 것 같습니다. 반대로 liveness는 결국성. 2학기 수업에서 한 번 시도해보겠습니다.
이
이광근/YiKwangkeun·일 년 전
항상성질+결국성질, 이면 훨씬 쉽고 이해하기 쉬운듯한데요. "질"을 빼고 짧게한 이유가 뭘까요 생물학계에서는? 일본학계 용어 그대로 쓴거 아닌가 혹시.
홍
홍신·항상만족 성질·2년 전
safety property는 항상만족 성질, liveness property는 결국만족 성질로 제안합니다.
이
이광근/YiKwangkeun·내내 성질·3년 전
safety property: 그 성질이 깨지는 경우를 유한한 시간안에 관찰/판단가능한 성질을 말합니다. 예) no-divide-by-zero, no-crash, no-buffer-overrun
이
이광근/YiKwangkeun·2년 전
내내 유지되는 성질. 따라서, 내내 성질이 깨지는 것은 유한시간안에 관찰됩니다.
이
이광근/YiKwangkeun·늘 성질·3년 전
늘성질을 제안합니다.
이
이광근/YiKwangkeun·늘 유지되는 성질·3년 전
늘 유지되는 성질을 제안합니다.
이
이광근/YiKwangkeun·항상 성질·3년 전
항상성질을 제안합니다.
이
이광근/YiKwangkeun·항상 유지되는 성질·3년 전
항상 유지되는 성질을 제안합니다.