收藏本站
《2005年全国理论计算机科学学术年会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

分布式同步仲裁器电路的SPIN建模和验证

李彩虹  章超  李廉  孙守卿  
【摘要】:正 1_引言软件和硬件工程中已经成功地应用了各种验证技术,包括从模拟技术到模型检验技术。而模拟技术对规模比较大的系统很难验证所有的设计错误。测试技术也只能用于检测错误,而不能证明设计的正确性。近十几年来,模型检验技术已被应用于验证大量的实际设计。在这一领域,得到广泛肯定的验证技术有对软件协议和软件系统的形式化验证,如SPIN模型检测器;对数字硬件系统的形式化验证,如VIS系统。

【共引文献】
中国重要会议论文全文数据库 前1条
1 章超;李彩虹;李廉;;SPIN在同步时序逻辑中的应用[A];2005年全国理论计算机科学学术年会论文集[C];2005年
【相似文献】
中国期刊全文数据库 前10条
1 刘晓芹;黄考利;连光耀;吕晓明;;基于Rebeca模型的硬件设计形式化验证[J];计算机测量与控制;2009年05期
2 杨红丽,王曙燕,韩俊刚;基于形式化的面向对象开发方法(FMOO)[J];计算机应用;2000年05期
3 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
4 陈江;陈建国;陆慧娟;王康健;;UML时间顺序图的实时系统建模及验证[J];中国计量学院学报;2010年01期
5 田俊峰,刘玉玲;一种紧耦合多处理机系统及其数据优先级的实现[J];计算机工程与应用;1998年04期
6 侯峻峰,张磊,黄连生;一种新的安全协议形式化验证方法[J];计算机研究与发展;2004年08期
7 郭建;时序电路的形式化证明[J];现代电子技术;2005年20期
8 王金双;杨华兵;张兴元;王元元;张毓森;;电梯控制系统在Isabelle/HOL中的活动性证明[J];计算机工程与应用;2008年27期
9 潘国华;王惠芳;;密码API安全性分析[J];计算机安全;2009年06期
10 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期
中国重要会议论文全文数据库 前10条
1 李彩虹;章超;李廉;孙守卿;;分布式同步仲裁器电路的SPIN建模和验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
3 吴铃铃;周干民;何伟;高明伦;;IP软核的形式化验证[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
4 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
5 郭建;韩俊刚;;基于PSL的FIFO的验证[A];第五届中国测试学术会议论文集[C];2008年
6 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
7 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
8 袁林;;一种分布式数据签名协议[A];第三次全国计算机安全技术交流会论文集[C];1988年
9 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
10 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
2 许可;网格服务流的状态π演算形式化验证技术研究与应用[D];清华大学;2007年
3 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
4 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
5 张鹏飞;Agent通信的全信息形式语用方法[D];北京邮电大学;2007年
6 徐阳扬;异步电路设计方法学研究[D];西安电子科技大学;2009年
7 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
8 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年
9 岳华伟;对一种SOC总线系统的验证[D];中国科学技术大学;2007年
10 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘宇;片上网络中的同步与仲裁技术研究[D];西安电子科技大学;2011年
2 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年
3 闫硕;基于多项式符号代数的电路形式验证[D];北京交通大学;2011年
4 杨晶鑫;随机争用仲裁方法的研究[D];上海师范大学;2003年
5 王莉;供热混合系统的抽象及其形式化验证[D];华中科技大学;2004年
6 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
7 杨汉明;基于CPS的实时系统的面向方面的形式化验证方法[D];广东工业大学;2011年
8 郑强;基于SPIN的802.1X协议形式化验证和改进[D];华东理工大学;2012年
9 杨琳峰;容错加固计算机的设计与实现[D];天津大学;2003年
10 张泽恩;基于GSTE中的符号仿真设计与实现[D];电子科技大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026