喜报｜迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录

近日，浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》，浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录，这是迪捷软件自主研发的产品继“天目全数字实时仿真软件 V3.5”后，再次获评浙江省首版次软件，充分展示了迪捷卓越的技术实力与市场前景。

首版次高端软件是指通过自主开发或者合作开发，其功能或性能有重大突破，在该领域具有技术领先优势或者打破市场垄断，拥有自主知识产权的同产品名称、同一版本号的软件产品。首版次高端软件的认定对开发区加速提升软件供给能力、构建高端软件产业生态具有重要意义。

该评选是省经信厅进一步落实省委、省政府关于软件产业高质量发展的实施意见，秉承着“好中选优”原则，经地方审核推荐、初审、专家评审、公示，旨在筛选出具有自主知识产权、技术水平高、产业带动力大及市场竞争力强的首版次软件产品的一项重要工程。