Complete test methods; Finite state machines; Reduction; Proof assistants; Isabelle/HOL; Mechanised proofs;
机译:基于自适应数字信号处理算法的预设时间计数速率计的实验验证
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:机械化证明:计算,风险和信任
机译:自适应状态计数算法的机械化证明
机译:原始测试是多项式 - 时间:AKS算法的机械化验证
机译:可视化与机械化白细胞差异计数:传统方法和Hemalog D方法的成本估算和评估。
机译:自适应状态计数算法的机械化证明