循环结构的形式化推导AET-电子技术应用-最丰富的电子设计资源平台

循环结构的形式化推导
所属分类：技术论文
上传者：aet
文档大小：368 K

所需积分：0分积分不够怎么办？
文档介绍：介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明，并对循环结构的形式化推导进行阐述说明。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

相关文章