论文部分内容阅读
简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 ,以及演绎证明和模型检测等形式验证方法
关于软件形式化方法
【摘 要】
：
简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 ,以及演绎证明和模型检测等形式验证方法
【机 构】
：
重庆师范学院数学与计算机科学系 重庆400047中国科学院计算机科学重点实验室; 北京100080;
【出 处】
：
重庆师范学院学报(自然科学版)
【发表日期】
：
2002年02期
【基金项目】
：
国家 8 6 3高科技项目 ( 2 0 0 1AA1132 0 0 ) ;国家自然科学基金 ( 6 0 0 730 2 0 ) ;中国科学院知识工程创新项目 ;中国科学院软件研究所基础研究项目 ;重庆市应用基础研究项目 ;运筹学与控制论市级重点实验室资助项目
其他文献
目前 ,我国在国际服务贸易立法上与GATS存在着一致之处 ,但更多的是不相一致 ,面临入世 ,促使其与GATS尽快接轨乃势在必然。分析我国国际服务贸易立法的成就与不足的基础上 ,
温针灸因具有安全、有效、无毒副作用、不良反应少、操作简便及经济实用等诸多优势,在慢性胃炎的治疗中得到了广泛应用,尤其是脾胃虚寒型的慢性胃炎。查阅相关国内外文献,发
现代传播包括报刊、书籍、广播、影视及电脑网络和移动通讯等。当代社会传播媒介的发达,对人类的文化生活产生了巨大的影响。《牡丹亭》作为中国传统戏曲的杰出代表,在不同时
<正>可以这么认为,苹果在中国的未来要依赖与中国移动的合作,而非寄望于任何一款手机。iPhone 5C的"C",或许真正的意思是:China。吐槽归吐槽,但还是掩盖不了苹果的锋芒。随着
目的探讨预防及治疗ICU综合征的护理措施。方法选择ICU病区的清醒住院患者124例,随机分为对照组和实验组各62例。从入住ICU第一天开始,对照组按危重病人传统护理常规护理;实
本文对市场上常见的西药类抗感冒药的成分进行分析,对各类成分的药理作用进行介绍,并针对各类感冒症状给出用药建议,以利于抗感冒药的合理应用。
介绍一种基于单片机的高速数据采集系统,在单片机与高速A/D转换器之间以静态存储器作缓冲器,采用A/D转换器直接写存储器的方式提高采样频率,实现高速数据采集。并给出了设计
近年来,印品检品设备开始在印刷包装产业中盛行,已经有多家企业推出不同规格的检品设备,为印刷质量检测,提供一种高效的自动化监测手段。
分析了我国鲜肉行业的现状、鲜肉的变质机理、真空热缩包装技术的特点,国内外该技术在鲜肉保鲜中的应用,预测在不久的将来真空热缩包装技术在我国鲜肉保鲜工业中将被广泛推广
<正>玫瑰从来只与爱情有关。虽说爱情无价,但能把3朵玫瑰配上"我爱你"的谐音,卖到520元,把18朵玫瑰以"一生一世"的寓意售价1314元的,蒲易算得上是国内第一人。蒲易,一个依然