B Method; Proof Rules; Verification; Deep Embedding; Automated Theorem Proving; Coq; Zenon;
机译:使用深度嵌入和自动定理证明来验证B证明规则
机译:证明简化和自动定理证明
机译:使用定理箴言的事件自动化拒绝服务攻击的阻力证明
机译:使用深度嵌入和自动定理证明来验证B证明规则
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:定理证明实例和规则的做法流行病学
机译:使用超演绎的Tableaux模理论-用Zenon自动定理证明器验证B证明规则的应用
机译:证明检验,定理证明和程序验证。