搜索结果: 1-1 共查到“计算机软件 SMT”相关记录1条 . 查询时间(0.009 秒)
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
2021/8/17
近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果，中国科学院软件研究所（以下简称软件所）研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。