연구문헌
교육정보
심화정보
포커스iN
연구자료
- 문자 DB
- 용어사전
알림마당
CSERIC 광장

단어	Kripke 구조
단어	Kripke structure
설명	Kripke 구조(Kripke structure)는 시스템의 행동을 나타내기 위한 모델 점검에서 사용되는 비결정론적인 유한 상태 기계의 한 형태이다. 이것은 기본적으로 시스템이 도달할 수 있는 상태 나타낸 노드와 상태 전이를 나타낸 선으로 이루어진 그래프이다. 라벨링(labeling) 함수는 각각의 노드를 특징의 집합으로 나타낸다. 일시적인 논리는 일반적으로 Kripke 구조라는 말로 해석된다.