3 ms·
No, formal verification knows nothing about the hardware, which is required for the system to function correctly. This is "not even wrong"
by chubot 3y ago
No, formal verification knows nothing about the hardware, which is required for the system to function correctly. This is "not even wrong"
- IshKebab 3y agoNo it is not. You are mistaken. The comment I was replying to was talking about software bugs. It might be the case that the problem is a hardware issue but the article is extremely unclear about what the problem really is (maybe nobody knows?) and they claim to have fixed it with a software patch.