论文部分内容阅读
随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本算法,介绍了其在LTL中的应用,提出了改进方法。
模型检测中的偏序简化
【摘 要】
：
随着验证方法的发展,一些复杂系统并发性越来越高,越来越难以理解。偏序约简方法被提出以减少自动验证并发系统所需要的时间和内存。文中介绍了偏序约简技术的主要概念和基本
【机 构】
：
扬州大学
【出 处】
：
扬州职业大学学报
【发表日期】
：
2009年04期
其他文献
欧·亨利是美国作家威廉·西德尼·波特尔的笔名,其作品风格独特,语言生动幽默,故事构思新颖,因而吸引了大量读者。欧·亨利的主要代表作之一,《警察与赞美诗》,便是其生动语
<正>宝历二年(826),刘禹锡罢和州刺史,取道扬州返回洛阳,白居易亦以病免苏州刺史,经由扬州回洛阳。于是,二人得以在扬州相会。白居易写下《醉赠刘二十八使君》一诗赠给刘禹锡
胸痹是内科的常见重病之一,近年来其发病率呈迅速增高趋势,严重危害了我国人民的身心健康。因此,全面分析和把握胸痹的病机演变过程,对增强中西医结合治疗的效果,有着重要的
国际工程所处的自然环境、社会政治环境、经济环境均与国内环境存在较大的差别,以巴基斯坦喀喇昆仑公路改造工程(以下简称KKH项目)为背景,探讨了国际工程安全管理,为在促进国
生态文化是构建和谐社会的精神支撑和思想动力,构建和谐社会必须加强生态文化建设。以我国社会发展现状为立足点,从找准生态文化建设的切入点、紧扣生态文化建设的关键点和把
<正> 利用互联网技术实现"足不出产,在家理财"的"网上银行",正越来越受到上海年轻人的青睐。中国工商银行上海分行进行的一项调查显示,这家银行的网上电子银行客户中,绝大多
介绍了我国建设项目环境影响评价的技术方法,以及房地产类建设项目环境影响评价的一般方法,指出了对房地产类建设项目进行环境影响评价存在的问题及发展趋势。
大学写作是汉语言文学专业的专业基础课,文学写作是其中重要的教学内容。文学写作教学一般多从文学文体概念、特征与具体写法等介绍直接过渡到文学写作,理论抽象而且指导学生