【摘 要】
：
从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程。然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly
【机 构】
：
塔里木大学信息工程学院,上海海事大学信息工程学院
【基金项目】
：
国家自然科学基金(61162018);塔里木大学校长基金项目(TDZKSS201320)
论文部分内容阅读
从模型检测技术的研究背景入手,首先阐述了模型检测技术的基本原理和过程。然后介绍了制约模型检测技术发展的状态爆炸问题和一些状态约简技术,包括符号模型检测、on-the-fly技术、偏序归约和抽象技术,并对SPIN、NuSMV、UPPAAL和PAT等模型检测工具进行了介绍和比较。最后总结了模型检测技术在新的应用领域、工具研制、算法研究和与其它技术相结合等几个方面的研究进展。可为今后进一步对并发和实时系统进行建模、仿真和验证提供借鉴和参考。
其他文献
研究了药桑红色素在不同环境下的稳定性,结果表明:药桑红色素具有较好的光稳定性,室外阳光直射下,3 d保存率仍在90%以上,在紫外光照射下不稳定,3 d衰减50%;对高温不稳定,在10
近些年来,伴随着我国经济的高速增长、移动互联网技术的发展以及智能终端的普及,电子商务产业不断创新和发展,涌现了很多新兴电商模式,其中,最为广大消费者熟知的莫过于网络
内蒙古自治区是我国最早成立的少数民族自治区,经过近60年的发展,经济社会取得了长足的进步。但与发达地区相比,内蒙古仍比较落后。造成这一现状的原因很多,未能充分行使经济
目的观察针刺和中药结合卒中单元治疗缺血性脑卒中恢复期患者的临床疗效。方法将符合纳入标准的240例缺血性脑卒中恢复期患者随机分为A组(针刺和中药结合卒中单元组)、B组(针
采用基于主控微源恒压恒频的组网控制策略,主控微源建立微电网的电压和频率,从微源以最大功率点跟踪运行。在微源组网基础上提出微电网的即插即用技术,通过对微电网中主控微
<正>制作PPT变形动画除了可以用逐帧的传统方法外,还可以用PPT自带的功能来实现。《电脑爱好者》第19期60页刊登的《何需FLASHPPT轻松制作变形动画》,介绍了如何在PPT中制作
你是否已经厌烦了整页都是文字的PPT,觉得读起来还不如直接读word文档更为方便;你是否已经厌烦了枯燥乏味的PPT,千篇一律的格式已经足够让你审美疲劳。格式陈旧、创意不足、
近些年来,我国国民经济增长迅速,综合国力稳步上升,在良好的市场竞争环境下,我国企业迎来了发展的春天。但是由于经济全球化的影响,企业面临着十分复杂的外部环境,想要在激烈
给别人买衣服从来都是件麻烦事,买大了买小了都要面临退货这个麻烦事,如今网购热潮不断来袭,就是在网上给自己买衣服尺寸也难拿捏准确。如果你也面临这个问题,那么也许下面这