#谓词抽象

1 篇文章

• 2026/11/13Lazy Abstraction：从全局 CEGAR 到按需精化