沪科〔2022〕48号

各有关单位：

　　为提升企业自主创新能力，促进科技成果转化，根据《上海市高新技术成果转化项目认定办法》（沪科规〔2020〕8号）要求，经受理审核、专家评审和社会公示等程序，现认定“计算机联锁系统形式化验证工具（SmartRocket iVerifier）”等175项为2022年第1批上海市高新技术成果转化项目，并予以公告。

　　按照《认定办法》等相关规定，项目单位应当定期按要求报送转化项目实施情况，并可申请享受相应的扶持政策。

　　上海市科学技术委员会

　　2022年2月17日

【相关附件】

2022年第1批上海市高新技术成果转化项目名单.pdf