国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

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

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

含有析取語義循環的不變式生成改進方法

大?。?/span>1.79 MB 人氣: 2018-01-12 需要積分:3

  抽象解釋為程序不變式的自動化生成提供了通用的框架,但是該框架下的大多數已有數值抽象域只能表達幾何上是凸的約束集.因此,對于包含(所對應的約束集是非凸的)析取語義的特殊程序結構,采用傳統數值抽象域會導致分析結果不精確,針對顯式和隱式含有析取語義的循環結構,提出了基于循環分解和歸納推理的不變式生成改進方法。緩解了抽象解釋分析中出現的語義損失問題.實驗結果表明:相比已有方法,該方法能為這種包含析取語義的循環結構生成更加精確的不變式,并且有益于一些安全性質的推理.

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?