在科技部“973”计划、国家重点研发计划、取得了长足的发展，发表高水平论文200余篇，包括CCF A类期刊TSE、TOSEM、TKDE、TCAD，CCF A类会议ICSE、ASE、IJCAI，理论计算机著名国际期刊TCS等数十篇，授权专利30余项，软件著作权8项，于2014年获得陕西省科技进步一等奖1项，2015年获得教育部自然科学一等奖1项，2019年获批省级创新团队。研究成果处于国内领先水平，部分研究成果国际领先，在国家“探月工程三期月地高速再入返回飞行器”和浏览器安全验证中得到了成功应用。在学术交流方面，研究所广泛开展与美国（德克萨斯大学达拉斯分校）、英国（牛津大学）、日本（法政大学）、新加坡（南洋理工大学）、航天五院五〇二所、华为等著名大学与科研机构的学术交流与合作。此外，还承办了一系列国际和国内学术会议（TASE 2011、ICFEM 2017、COCOON 2019，SOFL+MSVL 2011-2019），这些合作活动与学术交流对扩大研究所在国际上的影响，提高学术水平，拓宽研究领域和了解前沿研究动态等发挥了较大作用。
人才称号：
田聪
2019年特聘教授
团队获奖：
2019年省级创新团队
项目获奖：
[1] 2015年获得陕西省科学技术奖一等奖，可信软件设计开发与验证的基础理论与关键技术，省部级
[2] 2016年获得教育部自然科学奖一等奖，程序验证的基础理论研究，省部级
