大会报告:张成志教授(香港科技大学教授)

LLMs能否彻底改变形式验证:差距与机遇?

Can LLMs Revolutionize Formal Verification: Gaps and Opportunities?

会议日程

2025-10-31至2025-11-04
珠海(主会场)

2025-10-29至2025-10-30

北京(分会场)

轮播图