首页
关于本刊
期刊简介
收录情况
编委会
期刊在线
网络首发
当期目录
过刊浏览
浏览排行
下载排行
引用排行
作者中心
投稿指南
常见问题
下载中心
学术道德规范
期刊订阅
联系我们
English
高级检索+
所有
标题
作者
关键词
摘要
DOI
栏目
地址
基金
中图分类号
首页
关于本刊
期刊简介
收录情况
编委会
期刊在线
网络首发
当期目录
过刊浏览
浏览排行
下载排行
引用排行
作者中心
投稿指南
常见问题
下载中心
学术道德规范
期刊订阅
联系我们
English
斯坦福大学PASCAL程序验证系统
马希文
摘要
HTML全文
图
(0)
表
(0)
参考文献
(0)
相关文章
施引文献
资源附件
(0)
摘要
摘要:
程序正确性的验证是计算机科学的核心问题之一,也是当前软件工程最关心的问题.这个问题至今未有满意的解决办法.斯坦福大学计算机科学系的验证系统小组经过数年的研究,于1979年3月把他们研制的STANFORD PASCAL VERIFIER(以下简为SPV)公布于世,虽然他们自己说只是一种原型,但是却已能够进行一些并非不足道的工作,可说是迈了很成功的一步.笔者恰好在这个系统公布之际到该系驻足了一年多.这里愿把所见所闻笔录于此,供有关同志参考.
HTML全文
参考文献
(0)
相关文章
施引文献
资源附件
(0)
/
下载:
全尺寸图片
幻灯片
返回文章
分享
用微信扫码二维码
分享至好友和朋友圈
返回
×
Close
导出文件
文件类别
RIS(可直接使用Endnote编辑器进行编辑)
Bib(可直接使用Latex编辑器进行编辑)
Txt
引用内容
引文——仅导出文章的Citation信息
引文和摘要——导出文章的Citation信息和文章摘要信息
×
Close
引用参考文献格式