中科院推出量子程序证明工具

为了保证程序的正确性及应用系统的安全性,程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同,人类的直觉在处理量子世界中的问题时,往往容易做出错误的判断。因而,量子程序设计更加容易出错。
  近日,中国科学院软件研究所量子软件团队博士詹博华及博士生刘君毅等推出量子程序证明工具QHLProver。QHLProver是基于开源定理证明器Isabelle/HOL的量子算法正确性推理工具。它的逻辑基础是该团队提出的量子Hoare逻辑(quantum Hoare logic,QHL)。
  量子程序证明工具QHLProver网址:    http://qsoft.ios.ac.cn/tools/qhlprover/  http://www.isa-afp.org/entries/QHLProver.html中科院推出量子程序证明工具软件所推出量子程序证明工具


网友评论:
你在说啥
你说的这些谁懂啊?.jpg
找10000个路痴在城市里乱走,搜集移动数据,可以用于验证量子程序的正确性
泥潭流量号能不能别转这些看似高科技实则没卵用的solidot新闻

我看不懂=实则没卵用属实反智论坛
术语和虚拟币太像了,所以也是诈骗
114514
量子是啥?

量子.jpg(71.04 KB, 下载次数: 0)

下载附件

2019-4-3 14:47 上传

形式化验证的量子版,挺有趣的

— from Google Pixel 3 XL, Android 9 of Next Goose v2.1.0-play

标签: 量子   发布日期:06-25