论文部分内容阅读
在介绍混成系统和形式验证基本概念的基础上，重点介绍了模型检验和定理证明这两种混成系统的形式验证方法，对模型检验方法给出了一个具体的可达性算法步骤与验证实例，对定理证明方法分析了其证明的过程与存在的困难。最后总结了混成系统研究的现状,存在的问题和进一步研究的方向。
混成系统的形式验证
【摘 要】
：
在介绍混成系统和形式验证基本概念的基础上，重点介绍了模型检验和定理证明这两种混成系统的形式验证方法，对模型检验方法给出了一个具体的可达性算法步骤与验证实例，对定理证明
【机 构】
：
湘南学院计算机系
【出 处】
：
长沙通信职业技术学院学报
【发表日期】
：
2008年1期
其他文献
为进一步加强和改进大学生思想政治工作，党中央组织编写了高等学校思想政治理论课新教材。如何联系高职学生实际，组织实施新教材教学，把党中央的精神落到实处便成为思想政治理论
美国青蛙，让人欢喜让人忧几年前，武汉市石桥农民孙学金试养美国青蛙２０对，半年下来，繁殖出售商品蛙数千公斤，加上销售种蛙，年收入达１０多万元。此后养殖美国蛙获得高产、高回报的报道又屡
畜骨的用途很广，最普遍的是用其加工骨粉，做畜禽饲料，此外还可提取油脂、骨胶，加工骨炭和各种工艺品等。现将几种主要产品的加工方法简述如下：一、提取骨油畜骨中含有大量的油脂，一
大蒜在江西省永丰县的藤田、石马、沙溪、潭城等乡镇种植历史悠久,既可收获青蒜,又可收获蒜薹和蒜头,经济效益可观,现已成为该县冬季农业生产主栽作物之一.常年种植面积达3万
近年来，市场竞争焦点从市场、服务转向顾客，顾客导向的竞争成为新趋势，顾客经济时代到来。顾客关系是建立在企业与顾客之间的交易、交流基础上的联系，是企业资源、能力、知识的优
来自苏州的刘威大学毕业已快一年,一直留在南京工作。他在南京市中心某小区租房也有2年了,由于他不喜欢与人合租,一直是独自租住那套两室一厅的房子,每月的租金外加水电煤气
期刊
推进素质教育是培养二十一世纪新型人才的必然要求,也是我国教育改革和发展的必然要求,影响学 生素质的因素很多,但学校教育在这些影响中起主导作用,学校教育必须全面推进素
古代书院坚持“德育为先”的教育理念和“传道济民”的教育宗旨,在长期教育实践过程中,形成了系统有效且独具特色的品德教育模式。研究古代书院品德教育对当代高校思想政治教