Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2009.11a
  • /
  • Pages.873-874
  • /
  • 2009
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Improvement of L*-based Assume Guarantee Reasoning

L* 기반의 Assume Guarantee Reasoning의 개선

  • 이정재 (고려대학교 컴퓨터학과) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Published : 2009.11.13
Download PDF
⟨ Previous Next ⟩

Abstract

$L^*$ 기반의 Assume-Guarantee Reasoning[1]은 시스템 검증 시의 상태 폭발(state explosion)을 줄이는 데 크게 기여하였다. 그러나 시스템 검증에 소모되는 시간은 일반적인 모델 체킹 도구를 사용할 때 보다 크게 증가시킨다. 본 논문에서는 시스템의 검증에 소모되는 시간을 줄이기 위하여 $L^*$ 기반의 Assume-Guarantee Reasoning의 개선안을 제안하였다.

Keywords