2009년 추계 학술대회
Current Result Document :
| 한글제목(Korean Title) |
L* 기반의 Assume Guarantee Reasoning 의 개선 |
| 영문제목(English Title) |
Improvement of L*-based Assume Guarantee Reasoning |
| 저자(Author) |
이정재
최진영
Jungjae Lee
Jinyoung Choi
|
| 원문수록처(Citation) |
VOL 16 NO. 02 PP. 0873 ~ 0874 (2009. 11) |
한글내용
(Korean Abstract) |
L* 기반의 Assume-Guarantee Reasoning[1]은 시스템 검증 시의 상태 폭발(state explosion)을 줄이는데 크게 기여하였다. 그러나 시스템 검증에 소모되는 시간은 일반적인 모델 체킹 도구를 사용할 때보다 크게 증가시킨다. 본 논문에서는 시스템의 검증에 소모되는 시간을 줄이기 위하여 L* 기반의 Assume-Guarantee Reasoning 의 개선안을 제안하였다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
