【中科院软件所发布中国首个量子程序设计平台】
中国科学院软件研究所日前发布国内第一个较为完整的量子程序设计平台，该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，是目前世界上唯一能够对量子程序是否正确进行验证的平台。（中新网）