首页> 中文期刊> 《上海交通大学学报》 >FORTRAN程序正确性的形式证明

FORTRAN程序正确性的形式证明

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。

著录项

来源
《上海交通大学学报》 |1987年第6期|17-26|共11页
作者
宋国新; 郑坚平; 孙永强;
展开▼
作者单位

上海交通大学计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
程序的正确性; 程序规范; 路径; 验证条件;

相似文献

中文文献
外文文献
专利

1. 基于Kripke结构的程序正确性证明 [J] . 林杰 ,余建坤 . 计算机应用 . 2011,第005期
2. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 软件导刊 . 2009,第002期
3. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 教育技术导刊 . 2009,第002期
4. 程序正确性证明方法探论 [J] . 余娟 . 科技广场 . 2006,第002期
5. 关于程序正确性证明的进一步探讨 [J] . 李芳 . 信息技术与信息化 . 2005,第004期
6. 一种证明代码重构后程序正确性的方法 [C] . 罗婷 ,郭渊博 ,郝耀辉 . 第四届中国计算机网络与信息安全学术会议(CCNIS2011) . 2011
7. 面向高阶逻辑的形式化自动证明技术研究 [A] . 莫广帅 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号