文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Holzmann의 ˝The Model Checker SPIN˝에 대하여
复制论文ID
分享
摘要
作者
参考文献
暂无分享,去
创建一个
본 논문에서는 Dr Gerald J. Holzmann이 제시하였던 커널 스케줄링 방식을 프로세스 알제브라 ACSR-VP를 이용해서 있음을 보인다. 본 오류는 SPIN을 통하여 역시 확인하였다. 이것을 다시 모델링하여 오류를 수정하였고 ACSR-VP와 SPIN으로 오류가 수정되었음을 확인하였다.
허윤정
|
최진영
|
방기석
|
유혁
|
방기석
|
최진영
|
허윤정
|
유혁
保存到论文桶