量子程序验证工具QHLProver程序源代码
收藏国家基础学科公共科学数据中心2024-03-05 收录
下载链接：
https://www.nbsdc.cn/general/dataDetail?id=64edc690bb16e07753c344ed&type=1
下载链接
链接失效反馈官方服务：
资源简介：
量子程序验证工具QHLProver程序源代码数据集为面向量子程序验证的定理证明器开发过程中产生的程序代码，数据量在10MB以内。该工具基于交互式证明系统Isabelle/HOL开发，形式化了量子while程序的指称语义和量子Hoare逻辑，可用于量子程序的形式化验证。
提供机构：
中国科学院软件研究所
