模型检验中抽象技术研究综述

【摘要】：在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	郭建;韩俊刚;;模态转移系统的三值逻辑模型检验[J];计算机辅助设计与图形学学报;2006年06期
2	屈婉霞;李暾;郭阳;杨晓东;;一种高效的显式模型检验方法[J];国防科技大学学报;2008年04期
3	杨泽民;范全润;;硬件设计的形式化验证技术[J];太原师范学院学报(自然科学版);2007年02期
4	高妍妍;李曦;熊焰;余洁;;使用形式化验证方法进行流水线验证[J];小型微型计算机系统;2008年06期
5	李崇民;王海;李兆麟;;CMP中Cache一致性协议的验证[J];电子技术应用;2005年12期
6	张良;易江芳;佟冬;程旭;王克义;;使用局部建模的微处理器测试程序自动生成方法[J];电子学报;2011年07期
7	屈婉霞;李暾;郭阳;杨晓东;;模型检验中抽象技术研究综述[J];计算机工程与应用;2006年33期
8	邓建波;张立臣;徐碧红;;UML状态图在并行环境的应用研究[J];计算机工程与设计;2011年03期
9	郭建;片上系统的模型检验[J];现代电子技术;2005年14期
10	陈云霁;张健;沈海华;胡伟武;;一种基于SAT的运算电路查错方法[J];计算机学报;2007年12期
11	屈婉霞;郭阳;庞征斌;杨晓东;;基于伪临界值的Cache一致性协议验证方法[J];国防科技大学学报;2008年06期
12	郭建,杜惠敏,韩俊刚,郝克刚;基于时态逻辑的硬件设计形式化验证技术——模型检验[J];小型微型计算机系统;2001年05期
13	陈丽;高巍巍;;形式验证方法综述[J];大视野;2008年07期
14	李勇,李宣东,郑国梁;检验实时系统的有序时段性质[J];南京大学学报(自然科学版);2003年05期
15	;SURPAC软件正式通过国土资源部认定[J];金属矿山;2004年11期
16	张珩;沈海华;;龙芯2号微处理器的功能验证[J];计算机研究与发展;2006年06期
17	郑建华;李迪;肖舒华;苏兆港;;实时嵌入式系统形式化自动验证的研究与应用[J];制造业自动化;2007年09期
18	王智军;;沈阳富士通笔记本电脑客户满意度实证研究[J];经济研究导刊;2010年07期
19	曹娟;;浅谈计算机应用与数学建模的融合[J];科技致富向导;2011年30期
20	王海霞,韩承德;整数乘法电路的形式化验证方法研究[J];计算机研究与发展;2005年03期

中国重要会议论文全文数据库

前1条

1	吴为民;;基于二元CSP的RTL数据通路可满足性求解方法[A];第五届中国测试学术会议论文集[C];2008年

中国硕士学位论文全文数据库

前3条

1	王迪;微处理器的分级模型检验验证研究[D];清华大学;2005年
2	徐丙凤;基于接口自动机的嵌入式软件验证技术及支撑工具研究[D];南京航空航天大学;2009年
3	马豹;基于OOTCPN模型的嵌入式系统设计方法研究[D];西华大学;2011年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南