equivalence-testing

测试无法证明两个函数等价。以下方法才能真正做到。

N-version programming 假设你的实现结果一致。我们来看为什么测试远远不够，SMT solvers 如何真正证明等价性，以及如何在‘足够好’和形式化验证之间取舍。