机译:使用交互式定理证明器为实时系统提供证明帮助
Theorem proving; Real-time systems; Formal methods; ASTRAL; Proof assistance;
机译:使用交互式定理证明器为实时系统提供证明帮助
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:在不使用计算机的情况下获得四色定理的简要证明:用于证明四色定理的定理
机译:学习通过与校对助手进行互动证明定理
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:使用定理证明关于系统生物学的形式推理
机译:使用交互式定理证明器为实时系统提供证明帮助