循环结构的形式化推导 上传者：tt68132 2020-11-08 17:41:08上传 PDF文件 241.03KB 热度 29次 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
