澳门赌场网站_澳门网上赌场网址,官网,官方网站,官方网址

    <b id="ftvvx"><listing id="ftvvx"><i id="ftvvx"></i></listing></b>

    <meter id="ftvvx"></meter>
    <mark id="ftvvx"></mark>

    <i id="ftvvx"></i>

    <mark id="ftvvx"></mark>

    <em id="ftvvx"><address id="ftvvx"></address></em>
    <cite id="ftvvx"></cite>

    软件所量子软件团队推出国际首个量子程序证明工具

    文章来源:计算机科学国家重点实验室  |  发布时间:2019-03-31  |  【打印】 【关闭

      

      为了保证程序的正确性及应用系统的安全性,程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同, 人类的直觉在处理量子世界中的问题时,往往容易做出错误的判断。因而,量子程序设计更加容易出错。 

      近日,软件所量子软件团队詹博华博士及博士生刘君毅等推出国际首个量子程序证明工具QHLProverQHLProver是基于开源定理明器Isabelle / HOL的量子算法正确性推理工具。 它的逻辑是本团队提出的量子Hoare逻辑(quantum Hoare logicQHL)。   

      量子程序证明工具 QHLProver 网址:    

           http://qsoft.ios.ac.cn/tools/qhlprover/ 

       https://www.isa-afp.org/entries/QHLProver.html 

    Sitemap

    爱博官网lovebet| 赛车怎么用3000赢10万| PT老虎机网站| AG百家乐|澳门百家乐网站| uedbet_uedbet体育_uedbet官网|