文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
SPIN 과 ACSR - VP 를 이용한 Process Scheduling 모델링
复制论文ID
分享
摘要
作者
参考文献
暂无分享,去
创建一个
본 논문에서는 Holzmann 이 제시한 커널 스케줄링 방식이 liveness 를 만족하지 못하며, 자원의 충돌이 일어남을 프로세스 알제브라 ACSR-VP 를 이용해서 확인하였고, SPIN 과 LTL formula 를 이용하여 검증하였다. 이것을 SPIN 과 ACSR-VP 를 이용하여 오류가 없는 새로운 모델을 제시하였다.
최진영
|
유혁
|
방기석
|
허윤정
保存到论文桶