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