跳跃导航
特奎尔
帕吉纳校长
渗透孔
社区
&科尔索耶斯
渗透孔:
蒂图洛斯
Autores公司
奥托雷斯·乌米尼奥
东方崇拜者
编辑
阿桑托斯
“reas do conhecimento”
公共数据
文件标题
蒂波斯·德埃塞索
编辑
Revitas公司
阿朱达斯
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
葡萄牙语
法郎
埃斯潘霍尔
所有的存在
入口
阿尔雷·佩索尔
Subscriço de estaísticas
警报服务
编辑容器
米尼奥大学
Escola de Engenharia |工程学院
信息部|计算机技术中心
DI/CCTC-Artigos(论文)
使用este identification或para referencia este register来:
https://hdl.handle.net/1822/12547
蒂图罗
:
源级命令式程序的验证条件
汽车
:
M.J.弗雷德。
豪尔赫·索萨·品托
Palavras-chave宫
:
霍尔逻辑
验证条件
程序验证
程序注释
最薄弱的前提条件
更新
程序验证
验证条件
数据
:
2011
伊迪多拉
:
爱思唯尔科学有限公司
雷维斯塔
:
计算机科学评论
简历
:
本文是对验证条件及其在
程序验证的背景。
我们以霍尔逻辑为出发点进行研究
详细介绍了如何从中获取验证条件生成器。概念
在这个过程中,程序注释是必不可少的。
最薄弱的前提条件和使用
还研究了作为验证条件的替代方法的更新。
我们的
研究是在While语言的背景下进行的。
对此的重要扩展
语言在论文的最后被考虑。
我们还对现代
程序验证工具及其生成验证的方法
条件。
蒂波
:
阿提戈
乌里
:
https://hdl.handle.net/1822/12547
内政部
:
10.1016/j.cosrev.2011.02.002
国际标准编号
:
1574-0137
仲裁科学协会
:
对
阿塞索
:
阿塞索·阿伯托
Aparece nas coleçoes公司:
HASLab-Artigos em修订国际
DI/CCTC-Artigos(论文)
Ficheiros deste注册:
菲切罗
德斯克里桑奥
塔马尼奥
福尔马托
验证条件-修订.pdf
文件负责人
388,78千磅
Adobe PDF格式
Ver/Abrir公司
版本注册表已完成
苏杰里尔·科雷桑
Estatísticas公司
引文
Altmetrics公司