• 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 小学生和父亲历时三年半携手完成10万字小说 2019-05-09
  • 【见证西安】NO.9西安首届农民节,记录西安农村新生活! 2019-05-08
  • 环境部对土壤及地下水实施统一监管 2019-05-08
  • 忻州召开“雪亮工程”建设现场会 2019-05-07
  • 端午假期 广东南部多雷雨局部暴雨 2019-05-07
  • 社会主义社会按劳分配是建立在公有制和私有制并存基础上的,共产主义社会按需分配是建立在公有制基础上的,所有制基础不同,其分配形式也就不同。所谓“共产主义... 2019-05-06
  • 软件所量子软件团队推出国际首个量子程序证明工具

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

      

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

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

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

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

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

  • 学习新思想,千万师生同上一堂课 2019-05-14
  • 唐山一男子酒驾撞人逃逸中再撞人致4死11伤 已被刑拘 2019-05-14
  • 周边景区邀你开心过节 2019-05-13
  • 西安幼升小反映问题是去年近3倍 花式上学难案例层出不穷学位学区-西安新闻 2019-05-13
  • 习近平要求把这项工作作为重大政治任务 2019-05-12
  • 吕梁:交口公安侦破“5.24”疯狂砸车玻璃盗窃案 2019-05-12
  • 毛丹青:故乡是文学的起跑线 2019-05-11
  • 河北省交通运输厅:平安交通一路同行 2019-05-10
  • 中国健康促进基金会心脑血管疾病防治专家委员会成立 2019-05-09
  • 小学生和父亲历时三年半携手完成10万字小说 2019-05-09
  • 【见证西安】NO.9西安首届农民节,记录西安农村新生活! 2019-05-08
  • 环境部对土壤及地下水实施统一监管 2019-05-08
  • 忻州召开“雪亮工程”建设现场会 2019-05-07
  • 端午假期 广东南部多雷雨局部暴雨 2019-05-07
  • 社会主义社会按劳分配是建立在公有制和私有制并存基础上的,共产主义社会按需分配是建立在公有制基础上的,所有制基础不同,其分配形式也就不同。所谓“共产主义... 2019-05-06