收藏本站
《计算机科学》 1994年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

面向对象程序设计语言EIFFEL的程序正确性验证工具

姚卿达  唐长宁  董慧红  
【摘要】:本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 王彩芬;用HOARE逻辑证明C~(++)程序的正确性[J];兰州大学学报(自然科学版);2000年01期
【同被引文献】
中国期刊全文数据库 前1条
1 李师贤,阮文江;Eiffel语言的语义[J];软件学报;1995年01期
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 张国庆;智能网业务逻辑验证技术的研究及其仿真实现[D];西安电子科技大学;2002年
2 朱江;基于XML的程序设计自动批改的研究[D];湘潭大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 张志天;陈意云;刘刚;;一种验证指针程序的方法[J];微型机与应用;2011年16期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国博士学位论文全文数据库 前3条
1 葛琳;可信软件开发框架下的出具证明编译研究[D];中国科学技术大学;2007年
2 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年
3 李兆鹏;汇编指针程序安全性验证的研究[D];中国科学技术大学;2008年
中国硕士学位论文全文数据库 前3条
1 许剑冬;支持演化的形式化用例建模研究[D];云南大学;2012年
2 张志天;一个程序验证工具的设计和实现[D];中国科学技术大学;2011年
3 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026