• 【学习时刻】北大经济研究所常务副所长苏剑:“稳”字当头,用改革稳定企业家和百姓信心 2019-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 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
  • 软件所量子软件团队推出国际首个量子程序证明工具

    文章来源:计算机科学国家重点实验室  |  发布时间: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-06-23
  • 平顺交警夜查酒驾、毒驾、醉驾专项行动每周都在进行 2019-06-02
  • 浙江宣讲十九大:之江大地“好声音”“红船”精神入人心 2019-06-02
  • 美国的本质和终极目的决定,和中国必定是始终不断战事硝烟。 2019-05-27
  • 昌吉市启动百日文化旅游活动 2019-05-27
  • 酒类连锁品牌如何实现可持续性发展?产品本身的吸引力至关重要中国 名酒 2019-05-26
  • 学习新思想,千万师生同上一堂课 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
  • 3d技巧视频讲座孟庆会 北京十一选五前三遗漏 12月20号股票推荐 北京中彩 带连线坐标双色球走势图 新疆十一选五购买 北京快乐8开奖結果 山西十一选五走势图爱彩乐 中彩票税率 内蒙古十一选五走势图走势图 股票融资融券如何操作 甘肃11选5六码遗漏 什么软件可以合买双色球 贵州11选5开奖结果走势 炒股怎么网上开户 短线股票推荐骗局