Algorithms; Fault tolerance; Message processing; Program verification(Computers); Simplification; Theorem proving; Characterization; Circuits; Consistency;
机译:在GCD域上的分数算法的机器检查证明
机译:机器检查的糕点正确性证明
机译:构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
机译:机器检查的电子投票证明:Belenios的隐私权和可验证性
机译:通过以太网传输PCI数据的设计,建模,仿真,电路设计和概念验证。
机译:概念证明(POC)1.0-实施生物化系统设计方法
机译:糕点的机器检查的正确证明
机译:机器检查证明容错电路的设计和实现