微型机与应用Issue(5)：82-83,86,3.
循环结构的形式化推导
Formal derivation method of repetitive construct
摘要
Abstract
This document introduces the basic theory of Dijkstra′s formal derivation method, which be of the view that the development and demonstration of programs processed simultaneously,confirming the assert of describing the function of the program, and then deduced a correct and proper algorithm formally. And this document is added a representative example of struct to illustrate the theory.关键词
形式化方法/程序正确性/循环不变式/界函数Key words
formal methods/program correctness/loop invariant/boundary function分类
信息技术与安全科学引用本文复制引用
李贤贞,吴茂念,杨静..循环结构的形式化推导[J].微型机与应用,2014,(5):82-83,86,3.基金项目
国家自然科学基金项目 （）
