据新华社北京12月20日电（记者 董瑞丰） 中国科学院软件研究所20日发布了国内首个较为完整的量子程序设计平台，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分，有望为国内自主研制的量子计算机提供更多软件配套。

中科院软件所计算机科学国家重点实验室博士应圣钢介绍，该量子程序设计平台被命名为“isQ”。isQ平台包含的编译器能首先将高级语言编写的量子程序转化为指令集语言，然后交由后续工具进一步处理。模拟器可在经典计算机上模拟运行量子程序，查看运行结果，对现阶段量子程序的设计、测试有重要作用。模型检测工具可用于检验量子系统的各种性质。定理证明器实现了团队提出的量子Hoare逻辑，能够对量子程序是否正确进行验证，在经典计算机上克服计算时间与存储空间限制，为较大规模量子程序的设计提供重要帮助。