中国科学院软件研究所日前发布国内第一个较为完整的量子程序设计平台，该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，是目前世界上唯一能够对量子程序是否正确进行验证的平台。
编辑/基晶晶
本平台发布/转载的内容仅用于信息分享，不代表我司对外的任何意见、建议或保证，我们倡导尊重与保护知识产权，如发现本站文章存在版权问题，烦请将版权疑问、授权证明、版权证明、联系方式等，发邮件至info@tonews.cn，我们将第一时间核实、处理。同时，欢迎各方媒体、机构转载和引用，但要严格注明来源：今日商讯。
关注今日商讯
