#形式化验证

2 篇文章

• 2026/11/13Lazy Abstraction：从全局 CEGAR 到按需精化
• 2026/10/15超性质验证中的对齐与抽象精化