在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

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

大小:1.99 MB 人氣: 2018-01-03 需要積分:2

   基于機器定理證明的形式驗證技術不受狀態空間限制,是保證軟件正確性、避免因潛在軟件缺陷帶來嚴重損失的重要方法.文件比較算法(file comparison algorithm)是一類成員眾多,應用極為廣泛,跨越生物信息學、情報檢索、網絡安全等多個應用領域的基礎算法在交互式定理證明器Isabelle/HOL中對Miller和Myers在1985年提出的基于行的文件比較算法fcomp做了形式化,改正了算法關于邊界變量迭代的一個小錯誤,證明了改正后算法的可終止性和正確性:對算法時間復雜性做了完全形式化的分析,印證了算法的非形式化分析結論,為今后更多文件比較算法的形式驗證提供了可供借鑒的經驗.
?

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

基于行的文件比較算法fcomp改正下載

相關電子資料下載

      發表評論

      用戶評論
      評價:好評中評差評

      發表評論,獲取積分! 請遵守相關規定!

      ?
      主站蜘蛛池模板: 色综合色综合色综合网址| 夜夜爽天天干| 日本一区二区三区四区不卡| 色片在线| 人人人干| 国产毛片哪里有| 免费看啪啪的网站| 亚洲韩国日本欧美一区二区三区| 羞羞视频靠逼视频大全| 4hc44四虎www在线影院男同| 视频h在线| 亚洲综合在线观看一区www| 国产免费亚洲| 亚洲男人的天堂久久香蕉网| 欧美三级一区二区三区| 在线播放真实国产乱子伦| 天天摸天天做天天爽水多| 在线你懂得| 四虎影院免费视频| 欧美爽爽网| 国产无限资源| 天天干天天谢| haodiaose在线精品免费观看| 亚洲色图图片专区| 亚洲国产情侣偷自在线二页| 日本www色视频成人免费网站| 簧片地址| 午夜高清在线| 99久久久精品免费观看国产| 日本口工全彩无遮拦漫画大| 午夜啪视频| 久久成人性色生活片| 午夜剧场刺激性爽免费视频| 东北美女野外bbwbbw免费| 日本不卡1| 色偷偷资源| 国产色秀视频| 免费又爽又黄的禁片1000部| h网站国产| 色偷偷偷| 白嫩美女在线啪视频观看|