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

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

基于行的文件比较算法fcomp改正

大小：1.99 MB 人气： 2018-01-03 需要积分：2

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

前往下载地址

分享到:

标签：

　　 基于机器定理证明的形式验证技术不受状态空间限制，是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法．文件比较算法（file comparison algorithm）是一类成员众多，应用极为广泛，跨越生物信息学、情报检索、网络安全等多个应用领域的基础算法在交互式定理证明器Isabelle/HOL中对Miller和Myers在1985年提出的基于行的文件比较算法fcomp做了形式化，改正了算法关于边界变量迭代的一个小错误，证明了改正后算法的可终止性和正确性：对算法时间复杂性做了完全形式化的分析，印证了算法的非形式化分析结论，为今后更多文件比较算法的形式验证提供了可供借鉴的经验．
 

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

基于行的文件比较算法fcomp改正下载

相关电子资料下载

用户评论

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

      发表评论

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

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