【摘 要】
：
随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从2
【机 构】
：
南京大学计算机软件新技术国家重点实验室,新加坡国立大学计算学院计算机科学系,南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金项目(61303022,91318301);中国博士后科学基金项目(2013M531328);山东省自然科学基金项目(ZR2012FQ013);山东省高等学校科技计划项目(J13LN10);山东省泰安市科技发展计划项目(201330629)资助~~
论文部分内容阅读
随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.
其他文献
中国属于发展中国家,教育方面相比较西方发达国家而言存在较大的差距,对于一些中外现有的教育理念的思考分析,我们能够发现其中存在一定的原因,基于此背景下分析探究中外教育
【目的】系统评价复方苦参注射液联合化疗治疗晚期结直肠癌的疗效和安全性。【方法】计算机检索维普中文科技期刊数据库(VIP)、中国期刊全文数据库(CNKI-CJFD)、万方数据库(W
人口红利逐步消退下，通过社交进行裂变式传播成为电商降低获客成本的新路径。6月10日，北京商报记者注意到，每日优鲜悄然推出砍价活动，消费者只要邀请好友成功在24小时内将商品砍
大数据时代下,企业财务管理工作越加复杂,对相关财务人员提出了较高的要求。新时期,采用有效措施推动财务管理工作的转型具有重大意义。本文结合大数据背景,阐述了大数据对企
皖江地区是我国区域经济的重要组成部分。2010年国务院批复设立"皖江城市带承接产业转移示范区",赋予了皖江城市新崛起的历史机遇。但是皖江城市(带)由于自身的区位、交通、
2015年12月31日，习近平主席为陆军授予军旗并致训词，鲜明提出“努力建设一支强大的现代化新型陆军”。中国人民解放军陆军领导机构正式成立，标志着陆军单独作为一个军种正式亮相
目的探讨复方钩藤降压片对原发性高血压阴虚阳亢挟瘀证患者的临床疗效及作用机制。方法选取原发性高血压阴虚阳亢挟瘀证患者60例,随机分为治疗组和对照组各30例,分别给予复方
民营企业是我国国民经济的重要组成部分,在提供就业岗位、推动制度创新和经济增长等方面发挥了重要作用。但民营企业在融资上面临很大的难题,需要借助信用评级方法加以解决。
<正>为推进品牌基础建设,推广精细化质量管理,提升品牌科技内涵,建设高层次人才队伍,增强品牌建设软实力,根据《2017年省品牌建设促进会工作要点》安排,辽宁省品牌建设促进会
实现资源的共享是当前社会发展的重要研究课题。云计算图书馆则为此提供了一个良好的共享与交流平台。通过对云计算视域下高职图书馆信息服务的组织原则进行分析与简述,提出