[行业动态] 2024年国际自动定理证明器竞赛

2024-07-12

在法国巴黎举办的第29届国际自动定理证明器竞赛 (The CADE ATP System Competition, CASC-J12)中，西南交通大学数学学院系统可信性自动验证国家地方联合工程实验室徐

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

2024-06-13

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

[前沿科技] 形式化验证漫谈：仿真之外，验证之内

2024-05-11

“在未来五年内仿真将逐渐被淘汰，仅用于子系统和系统级验证。与此同时，形式化验证方法已经开始处理一些系统级任务。随着技术发展，更多Formal相关的商业标准化会推出。”Intel fellow M. V

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

2024-05-10

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