理论上是这样的。可是理论上行得通的事情太多了，比如可控核聚变。但现实情况下能行得通吗？

检测的结果就是，检测机构认为没问题。但软件部分他们检测不了。这样什么问题都不能解决。

但是在我看来，根本不需要检测，有特斯拉自己的数据足以证明特斯拉车子有问题了。还要什么自行车呢

【 在 west 的大作中提到: 】
: 程序控制的逻辑也是可以检测的
--
FROM 175.190.122.*