程序设计平台软件(量子语言开发包)

中国科学院软件研究所近日发布了国内首个较为完整的量子程序设计平台，该平台包括量子程序设计、编译、仿真、分析和验证等一系列工具。它是世界上唯一可以验证量子程序正确性的平台。(众信。com)