调整证明自动化以调整证明 电子书下载

原名:Adapting Proof Automation to Adapt Proofs
作品简介:抽象的。我们在交互式定理证明器中扩展了证明自动化，以分析规范和证明的变化。我们的方法利用规范和证明的更改历史来搜索可应用于其他需要更改的规范和证明的补丁。……