[行业新闻] 第26届国际SAT竞赛

2024-06-13

2023年7月8日，在意大利阿尔盖罗结束的第26届可满足性测试理论与应用国际会议中，西南交通大学系统可信性自动验证国家地方联合工程实验室团队获得Main组第二名

[行业新闻] 第28届国际自动定理证明竞赛

2024-05-10

第28届国际自动演绎会议公布国际自动定理证明竞赛结果，西南交通大学系统可信性自动验证国家地方联合工程实验室团队取得前三强。

[行业新闻] 第23届国际一阶逻辑自动定理证明器竞赛

2024-05-01

在英国牛津大学举行的第23届国际自动定理证明器竞赛中，Scavel 逻辑定理证明器获得FOF(First Order Formula )组亚军，是我国在该领域的历史性突破，填补了在该领域的空白。