1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. C/C++资料

程序的公理化证明-南京大学计算机系.ppt

程序的公理化证明-南京大学计算机系.ppt

    程序的公理化证明-南京大学计算机系.ppt

    程序的公理化证明;简介;断言的形式;程序的抽象语法;公理：赋值语句;公理：skip语句;pre,post规则;顺序组合规则;if-then-else规则;while规则(部分正确性);while规则(完全正确性);例子（1）;例子（2）;练习;Hoare Logic不能处理指针/数组

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >