原创力文档- 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
- 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
软件学报基于网的模型检测研究蒋屹新林闯曲扬尹浩清华大学计算机科学与技术系北京摘要模型检测是关于系统属性验证的算法和方法它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性系统模型的状态空间的爆炸问题是模型检测所面临的主要问题其主要原因是系统自身的并发特性和状态变迁的语义交织对基于网的模型检测理论和验证技术进行了较为详细的研究着重探讨了基于网状态可达图的偏序简化和偏序语义技术基于自动机的模型国家自然科学基金国家高技术研究发展计划国家重点基础研究发展规划作者简
1000-9825/2004/15(09)1265 ©2004 Journal of Software 软 件 学 报 Vol.15, No.9
∗
基于 Petri 网的模型检测研究
+
蒋屹新 , 林 闯, 曲 扬, 尹 浩
(清华大学 计算机科学与技术系,北京
您可能关注的文档
- 叶绿素-b的结构修饰及其二氢卟吩类衍生物的合成Structure.PDF
- 台风暴雨成因的螺旋度和Q矢量研究-自然灾害学报.PDF
- 叶蜡石在环境污染治理中的应用与进展-生物学教学.PDF
- 叶绿素-a及其降解产物的化学修饰与二氢卟吩醇类衍生物的合成.PDF
- 叶绿素荧光成像系统操作手册-力高泰.PDF
- 台大医院新生儿筛检中心新生儿筛检告知同意书.PDF
- 叶轮式风速计-FlukeCorporation.PDF
- 合思·合智·合行-伟宏钢结构.PDF
- 合成生物学开启生命科学会聚研究新时代-中国科学院.PDF
- 合成橡胶key-浙江大学高分子科学与工程学系.PDF
- 基于RS和GIS的松辽平原黑土信息提取-农业工程学报.PDF
- 基于SSR标记的云南糯玉米爆裂玉米地方种质遗传多样性研究.PDF
- 基于SWAT模型的东北水稻灌区水文及面源污染过程模拟-农业工程学报.PDF
- 基于STM32和CPLD的TFTGLCD显示控制器设计.PDF
- 基于SWAT模型的里下河平原区水文模拟-资源科学.PDF
- 基于Web服务的地理超媒体系统设计开发与应用-JournalofSystems.PDF
- 基于Web的协作学习系统模型-北京师范大学.PDF
- 基于Weibull分布函数的葡萄干燥过程模拟及应用-农业工程学报.PDF
- 基于一致性算法的孤岛型微电网群实时协同功率分配-电力系统自动化.PDF
- 基于临界氮浓度模型的日光温室甜椒氮营养诊断-农业工程学报.PDF
文档评论（0）