Northeastern University;
ACL2; Dracula; QuickCheck; randomized testing;
机译:DoubleCheck围巾
机译:检查,然后再次检查
机译:从以色列的Verifuel到Doublecheck燃料中的水污染的设备
机译:仔细检查您的定理
机译:探索学生对思想思路的所有权,思考Sandwich Theorem,Rolle定理和微积分的平均值定理
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:DoubleCheck:针对中间人攻击的多路径验证
机译:交叉定理,包含定理和相关结果