상태 공간 열거

이 기사는 독자들에게 혼란스럽거나 불분명할 수 있다. 글의 명확화를 도와주세요. 토크 페이지에 이 건에 대한 논의가 있을 수 있습니다.(2022년 4월) (이 템플릿메시지를 삭제하는 방법과 타이밍에 대해 학습합니다)

컴퓨터 과학에서 상태 공간 열거는 프로그램이 주어진 ^[1]속성을 충족하는지 여부를 판단하기 위해 도달 가능한 각 프로그램 상태를 고려하는 방법입니다.프로그램의 규모와 복잡성이 증가함에 따라 상태 공간은 기하급수적으로 증가합니다.이러한 방법으로 사용되는 상태 공간은 분석과 관련된 상태 공간의 일부만 유지하면 줄일 수 있습니다.그러나 상태 및 메모리 감소 기술을 사용하면 실행 시간이 주요 제한 ^[2]요소가 됩니다.

「 」를 참조해 주세요.

• 형식적인 방법
• 모델 체크

레퍼런스