硬件系统SystemCFL模型的SPIN验证

摘要：

本文对硬件系统SystemCFL模型的SPIN验证进行了研究。文章围绕SPIN模型检测器及Promela语言、SystemCFL模型、硬件系统的SystemCFL模型转换成Promela模型等进行了论述。

关键词： 计算机系统 系统设计 设计验证

作者: 李彩虹 李廉 章超 孙守卿 吴孝军 陈波

作者单位: 兰州大学信息科学与工程学院ICCM实验室,兰州,730000

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 83-85

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）