验证的方法篇之三：开发环境

如果我们将影响验证编码效率的因素分为“硬件因素”和“软件因素”，那么硬件因素的配置在短期是可以补齐的，而软件因素则会设计到验证人员的技术能力、调试能力和其它软实力。所以从实用的角度上来看，如果准备在验证道路上长期深耕的话，更早地提高硬件环境配置是一笔越早投入收益越大的事情。 如果这是一篇知乎上的文章我的笔风可能是这样的—— [1]首先你的保证你的手、肩、颈、腰在十年以后还是你的。 [2]其次你需要

>>阅读原文<<