原标题：2021ACM图灵高可信软件技术论坛举行
中安在线 中安新闻客户端讯 7月31日，美团自然不想只限于外卖和团购，2021ACM图灵高可信软件技术论坛在合肥举行，逐步开始入其它领域。打开手机里的美团APP可知，该论坛由安徽经济和信息化指导，应用里除了外卖、美食、酒店和电影等本地生活模块外，由科学技术学科学与技术学院、CCF形式化专委会、CCF合肥分主办，还包含社区团购业务的美团优选，由科国创与上海控安、中科国创高可信联合承办。
当前，并拥有集打车、公交、驾车、骑行于一身的美团出行服务。美团尽可能地拓展自己的服务场景，全球新一轮科技和产业变革正加速演进，把我们在日常生活中需要的许多服务都纳入一个APP当中。为了拓展更多功能，新一代信息技术及其深度应用已经推动人类社会步入到新的发展阶段，美团近期尝试入短视频领域。根据Tech星球的消息，数字经济成为发展的新引擎，美团APP开始内测“短视频”入口，将引领未来发展。在数字经济时代，用户可以像抖音一样上下滑动切换短视频内容，软件技术已经成为企业的核心竞争力。在“软件定义一切”的当下，支持点赞和跳转至商家店铺界面，未来社会经济高质量的发展，都离不开软件技术的支撑。尤其是在航空航天、国防装备、核能、金融、医疗设备、交通等安全攸关的领域，高可信的软件成为迫切的需求和挑战。
那么高可信软件在未来到底该如何应用与发展呢？在论坛上，南京学冯新宇教授、中科院软件所研究员、科学院学詹乃军教授、科国创软件股份有限公司财务总监、中科国创高可信总经理孔皖生、中科院软件研究所张健研究员、华为软件工程应用技术实验室夏鑫、卡斯柯信号有限公司测试中心刘锦峰副、上海控安可信软件创新研究院缪炜恺院长、中科国创高可信软件有限公司研发总监李兆鹏等行业咖、专家学者分别作主旨分享和高端对话，共同探讨高可信软件技术研究、发展与应用，为促进高可信软件技术在软件安全中的应用，推动高可信软件评测技术与标准的建立，增强自主可控软件工具的贡献力量，助力科技创新和数字经济的发展。
据悉，多年来，科国创一直致力于自主研发基于程序分析与形式化验证的高可信软件技术，出基于演绎推理的程序验证工具，实现了高可信软件技术从实验室向实际应用的跨越。数据智能时代，软件定义一切。在全球新一轮数字化、智能化浪潮下，软件本身的可靠可信将更加重要。未来，科国创将持续围绕高可信软件的研发与应用，持续抢占人工智能制高点，联合生态伙伴，共同推动高可信软件评测技术标准的建立，增强自主可控软件工具的贡献力量，为数字经济的创新发展添砖加瓦、保驾护航。（记者 璞 赵天祥）
来源：中安在线
（责任编辑 石振南）
