https://www.kiise.or.kr/academy/main/main.fa
PDF
모델체커(model checker)의 정확성을 판단하기 위한 방법으로 이미 엄밀하게 검증된 믿을만한 모델체커의 결과를 바탕으로 한 테스팅의 방법이 있을 수 있다. 우리가 구현한 모델체커는 게임이론을 바탕으로하여 설계 되었기 때문에 그 정확성을 쉽게 증명할 수 있고, 프로그램의 의미가 명확하게 드러나 있기 때문에 믿을 만한(reliable) 모델체커이다. 이 모델체커가 주는 결과들은 다른모델체커들의 정확성을 판단하는 기준이 될 수 있을 것이다.