선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문에서는 가상의 사용자 A, B를 설정하여 다음과 같은 Safety에 대한 검증을 수행해 보았다.
- 본 논문에서는 통신 프로토콜의 정확성 검증을 위한 정영검증 연구의 일환으로, Reactive system의 모델링 및 검증을 위해 개반된 함수형 정형검증 언어인 Estei■인[1]을 이용한 Abracadabra 空도토 콜의 정형검증을 통해 롱신 프로토콜에 대한 Esterel의 정형검증 능 력을 분석하고 좀 더 복잡한 통신 프로토콜의 안정성 검증에 대안 징 형검증 기법의 적용 가눙성을 타진하고자 한다.
- 수학적 기호를 사용하여 시스템의 명세른 하고 검증할 특성 또한 논리식을 통해 기술함으로써 시스템의 사용자가 요구하는 특정 조건에 대한 만족 여부를 수학적 성질을 이용하여 검중함으로써 자연어가 내포하는 애매모호함이나 불확실성을 최 대한 줄일 수 있다. 즉 복잡한 시스템이 특정 조건을 만족하는지를 검증하여 검증된 시스템에 대한 신뢰성을 가지게 할 수 있는 것이다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.