基于SAT的软件验证

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：hongchaozhang88

【作者】

：

周从华，陈振宇，鞠时光，ZhouConghua，ChenZhenyu，JuShiguang

【出处】

：

计算机研究与发展

【发表日期】

：

2008年z1期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

中国网上银行发展模式研究

网上银行是知识经济、网络经济时代的产物：将高新技术、网络技术应用于传统银行业便产生了网上银行。网上银行是新经济时代银行业的竞争焦点，这种新型的经营模式也是传统商业银

学位

网上银行商业银行经营模式金融改革

抛光米的猫腻

接下来说的就是米了,请注意,米这个东西与别的什么东西不同,它是每个人每天都必需的,人是铁,饭是钢嘛.

期刊

HB协议的形式规约与验证

期刊

中国经济开放度与货币政策效应关系的实证研究

自从20世纪30年代国家干预经济的宏观政策在发达市场经济国家推行以来，货币政策一直是实施宏观经济调控的两大支柱之一。改革开放以来，我国越来越频繁地采用货币政策手段调控经

学位

货币政策经济开放度效应分析回归模型

由谱悟法由法征谱(二)——《叶桐轩花鸟画谱》讲座系列

请下载后查看，本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.

期刊

ABC转运器的π-演算模型及其验证

期刊

卡特彼勒

在今年的亚洲工程机械博览会上,卡特彼勒展出一系列最新产品.卡特彼勒在其2700平方米的展区安排了教育研讨培训和现场设备演示区.通过这些机器应用的演示,让用户观众更加直观

期刊

卡特彼勒现场设备演示教育研讨工程机械新设备新产品博览会直观展区用户应用亚洲培训机器观众

新年献辞

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

杂志发展硕果累累审稿专家编委会编辑部中国幸福兽药社会更新读者

山河智能

1、获益于中国旺盛的需求,国内工程机械行业逐步形成优势产业,国内优秀工程机械企业逐步成长为初步具备国际竞争力的企业;预计“十一五”期间我国固定资产投资的增速保持在20

期刊

山河智能英文标志室外广场董事长启动标识

以市民体验为中心的智慧城市建设启示——以中国台湾地区为例

期刊

基于SAT的软件验证

与本文相关的学术论文