Amazon Web Services;
机译:基于矩阵的Matlab模型的正式验证使用互动定理证明
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:定理箴言COQ中直升机自动着陆控制算法的正式验证
机译:使用定理证明器对四旋翼飞行器信封进行形式验证
机译:使用定理证明进行形式概率分析。
机译:使用定理证明关于系统生物学的形式推理
机译:Mike Gordon和Tom Melham(编辑)的评论,HOL入门,一种用于高阶逻辑的定理证明环境
机译:定理证明与形式验证的显性反思