2. 您的位置
3. 首页
4. 学位论文
5. 基于Hoare逻辑的软件形式化验证技术研究

基于Hoare逻辑的软件形式化验证技术研究

来源 :解放军信息工程大学 | 被引量 : 2次 | 上传用户：zjbme2010

【作 者】

：

雷富兴 

【出 处】

：

解放军信息工程大学

【发表日期】

：

2010年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

潍坊市科技计划申报管理系统的设计与实现

学位

Embedded Secure Control Access for Pay-TV

学位

Portal游戏配置系统的设计和实现

学位

基于PAFA架构的办公场所管理系统设计与实现

学位

针对DDI的辅助测试系统TestDDI的设计与实现

学位

Multi-Agent Driven Rule-Based Dss in Data Warehouse

学位

一种高效的可扩展抗合谋编码

学位

面向对象软件的类对象动态更新技术研究

学位

基于公钥密码体制和DWT的数字水印

学位

基于GSM的有线电视收费管理系统的设计与实现

学位