基于模型的验证及其方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户：liuqingq

【摘要】

：

基于模型的验证(Model-based Verification)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要.MBV侧重于在开发的早期找出错误,从而避免时间、金钱

【作者】

：

赵辉李彤

【机构】

：

云南大学计算机系

【出处】

：

计算机工程

【发表日期】

：

2001年8期

【关键词】

：

模型验证模型检测 SMV SPIN 软件开发软件系统 Model-based verification Model checking SMV SPIN

【基金项目】

：

云南省自然科学基金，云南省中青年学术与技术带头人培养基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于模型的验证(Model-based Verification)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要.MBV侧重于在开发的早期找出错误,从而避免时间、金钱的耗费及重复性的劳动.在研究各种MBV技术的基础上,着重于软件系统的模型验证方法,对各种方法作了基本的介绍,并总结了发展方向.

其他文献

一种基于蚁群系统的多点路由新算法

应用蚁群算法结合启发式算法解决多点路由问题.仿真表明该文中的算法可以有效地蚺决多点路由同题，同时该算法也适用于并行执行和应用.

期刊

蚁群系统STEINER树多点路由算法多媒体通信Ant system: Multicast routing Steiner tree

基于JCI标准的第三方满意度调查在中医医疗机构中的应用价值

目的探讨基于美国医疗机构评审国际联合委员会（JCI）标准的第三方满意度调查在中医医疗机构中的应用价值。方法对照JCI标准要求,结合中医医疗机构自身特色确定问卷调查及对象,

期刊

美国医疗机构评审国际联合委员会标准中医医疗机构满意度

孙子反情报思想研究

[目的/意义]孙子基于春秋之前的反情报工作实践,初步总结了较为系统的反情报理论。挖掘孙子反情报理论的内涵和价值,对于建设具有中国特色的情报理论,具有重要启示意义。[方

期刊

《孙子兵法》反情报思想反情报理论情报史反情报工作Sun Tzu's art of warcounter-intelligence though

国外品牌滑雪器材企业在我国运营研究

滑雪器材生产及经销在滑雪产业链中占有较大比重明显,其对产业的有较大带动作用。通过对滑雪产业、滑雪器材现状及对滑雪器材经销商对滑雪市场的培育得出,国外品牌滑雪器材企

期刊

滑雪器材滑雪产业运营品牌

二程求道精神微探

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

西学映照下的宋明哲学与思想史研究——20世纪中国学术史的几帧剪影

中国哲学与思想史的学术传统不仅是一种知识谱系,而且是一种价值系统。沿着梁启超所开辟的以新史学为旗帜的现代学术道路,无论是冯友兰、牟宗三以哲学的名义,或者侯外庐的思

期刊

20世纪中国学术史宋明哲学思想史西学

Removal of Heavy Metal from Contaminated Soil with Chelating Agents

Removal of copper and nickel by the addition of the biodegradable chelating agent, chitosan and ethylenediamine tetraacetic acid (EDTA), was investigated, along

期刊

ChemicalExtractionSoilREMEDIATIONCopperNickelCHITOSANEDTASODIUMCITRATE

嵌入式双Pentium Ⅲ单板的高速PCB设计

介绍了基于Intel 44 0BX芯片组双PentiumⅢ系统主板的高速PCB设计,针对系统电源、时钟、处理器总线、内存总线等方面的设计,分析了高速PCB布线中应该注意的一些要点及硬件设

期刊

串扰信号完整性走线长度Crosstalk Signal integrity Trace length

基于“互联网+”思维的大学生创新创业教育研究

期刊

“互联网+”思维创业教育创业实践

基于智能算法的模式聚类及信息联想

针对知识发现中的模糊信息查询问题，提出了一种基于反馈网络的模糊概念聚类及模式联想设计方法。按照分类要求对所要查询的概念集合进行量化编码，并对编码后的数据进行规整处理

期刊

反馈网络模式聚类信息检索信息联想

基于模型的验证及其方法

与本文相关的学术论文