收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

时序逻辑程序的证明系统

冯玉琳  林惠民  唐稚松  
【摘要】:本文为时序逻辑语言XYZ/E建立了一个证明系统.其主要特点是:1.证明可以直接在时序逻辑系统中进行,无需另行建立专门的公理系统;2.可建立一些元数学定理以简化证明过程;3.可在逐步求精的过程中边设计边证明正确性.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 唐稚松;;适应于多种程序设计方式的程序发展环境[J];计算机研究与发展;1982年11期
2 范植华;结构化的模块程序设计方法[J];计算机学报;1983年02期
3 郑茂松;;时序逻辑语言[J];计算机科学;1983年06期
4 林丕源;程序设计的有效工具[J];计算机应用研究;1985年01期
5 冯玉琳;林惠民;唐稚松;;时序逻辑程序的证明系统[J];计算机研究与发展;1985年10期
6 庞万林;;Ada语言的数据抽象方法[J];计算机工程与应用;1988年10期
7 唐稚松;XYZ系统的设计思想[J];软件学报;1990年01期
8 郑国樑,郑毅;支持自顶向下程序设计的工具—CTOOL[J];计算机应用;1990年04期
9 唐稚松;XYZ:一种系列化语言族及其软件工程环境[J];大自然探索;1992年03期
10 龚洁,唐若鹰,王霄,唐稚松;XYZ/CFC与XYZ/PAD:图形一文本程序设计环境[J];软件学报;1994年08期
中国硕士学位论文全文数据库 前10条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
3 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
4 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
5 杨庆红;递归问题循环不变式开发新策略的研究与应用[D];江西师范大学;2003年
6 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
7 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
8 张娟;基于Par方法和Par平台的软件测试[D];江西师范大学;2005年
9 冉小晓;Radl->Apla自动程序转换系统研究与实现[D];江西师范大学;2005年
10 胡玉贵;基于Web Service的Par方法远程教学平台研究[D];江西师范大学;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978