您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

通过抽象程序证明复杂具体程序

大小：2.10 MB 人气： 2017-12-29 需要积分：3

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：抽象(5525)

　　 描述了证明抽象程序和具体程序满足一致性关系的方法．抽象程序使用抽象数据结构（ADTs），如set，list，map及其上的操作，具体程序使用类C语言中的类型．抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系，基于对应关系，抽象程序和具体程序一致性证明可以分解，从而容易并可能自动证明．

通过抽象程序证明复杂具体程序

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！