切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
FORTRAN程序正确性的形式证明
FORTRAN程序正确性的形式证明
来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:wangyc726
【摘 要】
:
本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。
【作 者】
:
宋国新
郑坚平
孙永强
【机 构】
:
上海交通大学计算机系
【出 处】
:
上海交通大学学报
【发表日期】
:
1987年6期
【关键词】
:
程序的正确性
程序规范
路径
验证条件
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。
其他文献
2012年全国个体私营经济发展报告
2012年全国个体私营企业健康有序发展。私营企业在发展户数、注册资金数额方面稳步增长,交通运输、仓储和邮政业,金融业,信息传输、计算机服务和软件业发展较快。个体工商户
会议
私营企业
个体工商户
港澳居民个体工商户
农民专业合作社
传统媒体转型的三阶段分析
当前,新媒体正在给传统媒体带来革命性的影响,传统媒体无论是否愿意都不得不积极转型,但是在进行转型时,也必须深刻认识到转型是一项长期的、艰巨的系统性工程,不可能一蹴而就,必须
期刊
传统媒体
转型
革命性
新媒体
系统性
自拟清咽解毒汤治疗小儿疱疹性咽峡炎30例
运用自拟清咽解毒汤治疗小儿疱疹性咽峡炎30例,结果:治愈24例,好转5例,无效1例,总有效率为96.6%.笔者认为本病好发于炎热季节,小儿饮食不节、不洁,外感风热毒邪,肺胃热壅,结
期刊
疱疹性咽峡炎
自拟清咽解毒汤
小儿疱疹性咽峡炎
血瘀的微观证据与实热证紫癜风早期肾损害的关系
目的:通过探讨血瘀的微观证据与实热证紫癜风早期肾损害的关系,进一步证明包含"活血化瘀"药物的、以非激素为主的中西医结合的综合治疗方法治疗紫癜风的合理性。方法:首先对5
会议
紫癜风(过敏性紫癜)
血浆CD62P
尿微量蛋白
应用聚能振波负压吸引法治疗青春期后男性乳房发育症
目的:采用肿胀麻醉法聚能振波负压吸引法治疗青春期后男性乳房发育症,探讨评价这种非手术切除法治疗男性乳房发育方法,为治疗男性乳房发育提供一个新的选择。方法:局部肿胀麻
会议
男性乳房发育
聚能振波负压吸引
不对称芳基取代的呋喃和双并四氢呋喃木脂素的新合成方法
期刊
木脂素
呋喃
双并四氢呋喃
芳醛
自拟黄药膏外敷治疗急性踝关节扭伤54例
目的观察黄药膏治疗急性踝关节扭伤的临床疗效。方法108例患者随机分为治疗组54例、对照组54例,分别予黄药膏外敷、正红花油外擦治疗,连续观察7d。结幂治疗组治愈49例,好转4例,无
期刊
踝关节扭伤
黄药膏
临床疗效
类方波弧焊电源的研究
<正> 碱性焊条交流焊具有重大的技术经济价值。但其缺点是焊机的相对容量大,引弧速度慢。大功率半导体元件的发展与完善,为弧焊电源的更新换代奠定了物质基础。类方波弧焊电
期刊
类方波
弧焊
电源
弧焊设备
分散固定模的新判据
本文首先提出一种适用于任意反馈结构的固定模的新判据,借助于此判据不仅可以确定固定模。而且能确定固定模的重数。在新判据的基础上,作者给出一种计算固定多项式的算法,求
期刊
大系统
分散控制
固定模
优秀科技人才遴选和测试的初步研究
<正> 如何应用科学的定量方法来测评与挑选优秀科技人才,是我国科技人才资源开发迫在眉睫的课题.本文在对国内外有关学术带头人的测评比较分析基础上,结合应用性研究所的特点
期刊
科技人员
测试
遴选
与本文相关的学术论文