4 ms·

Does anyone have way to a prove software is bug free? Familiar with the halting problem? I think that is the crux of the argument here. Testing does not solve t

by anfilt 8y ago

Does anyone have way to a prove software is bug free? Familiar with the halting problem? I think that is the crux of the argument here. Testing does not solve the problem. Like the possible states that hardware and software have can be enormous that only the simplest of devices can be exhaustively tested.

tareqak 8y ago
That argument could be applied to the U.S. government's ability to test software and hardware, and also the software and hardware produced by companies other than Huawei and countries other than China.
- anfilt 8y ago
  hence why I said does “anyone”.