形式化方法赋能的AI生成软件制品可信评测与优化 | Formal Verification Group https://fiction-zju.github.io/events/ccfyf26/li/ 形式化方法赋能的AI生成软件制品可信评测与优化 Wowchemy (https://wowchemy.com)en-usSun, 24 May 2026 00:00:00 +0000 https://fiction-zju.github.io/media/sharing.jpeg 形式化方法赋能的AI生成软件制品可信评测与优化 https://fiction-zju.github.io/events/ccfyf26/li/