首页> 中文会议>第十届海峡两岸（内蒙古）科普论坛 >如何证明电脑程序正确?

如何证明电脑程序正确?

页面导航

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

摘要

由于智能型手机的普及,大多数人都有安装app(即程序)的经验,但是曾经检查、撰写、修改程序的人则少之又少.而能够严格证明程序的正确性的人则是凤毛麟角.由于现今程序与我们的日常生活息息相关,如游戏、通讯、交通、财务等,万一程序出错,我门的日常生活,甚至生命财产的安全,立刻陷入极大的危机.本文以科普的角度,为非专业人士展示一则证明的范例,希望能激起一些好奇的心灵,做更进一步的研究.

著录项

来源
《第十届海峡两岸（内蒙古）科普论坛》|2017年|639-648|共10页
会议地点呼和浩特
作者
杨武; 冯品佳;
展开▼
作者单位

内蒙古自治区科协;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件测试; 证明法则; 逻辑推理; 正确性;

相似文献

中文文献
外文文献
专利

1. 应用系统迁移正确性证明的新方法——从静态切面数据证明到数据变化过程证明 [J] . 邓琼 ,陈建锋 . 电信网技术 . 2019,第005期
2. 应用系统迁移正确性证明的新方法--从静态切面数据证明到数据变化过程证明 [J] . 邓琼1 ,陈建锋1 . 信息通信技术与政策 . 2019,第005期
3. 证明哥德巴赫猜想的正确方法 [J] . 王海东 . 数理化解题研究 . 2021,第009期
4. 证明哥德巴赫猜想的正确方法 [J] . 王海东 . 数理化解题研究 . 2021,第009期
5. 基于定理证明的内存安全性动态检测算法的正确性研究 [J] . 孙小祥 ,陈哲 . 计算机科学 . 2021,第001期
6. 基于语境的ARINC653操作系统核心服务正确性形式证明方法 [C] . 姜柯 ,马殿富 . 全国抗恶劣环境计算机第二十七届学术年会 . 2017
7. 基于定理证明的内存安全性动态检测算法的正确性研究 [A] . 孙小祥 . 2020

如何证明电脑程序正确?

摘要

著录项

相似文献

相关主题

期刊订阅