3 ms·
Compilers can have bugs. Hardware can have bugs too. Why are formal systems that run on a computer assumed to be bug-free?
by raincole 3y ago
Compilers can have bugs. Hardware can have bugs too. Why are formal systems that run on a computer assumed to be bug-free?
- staunton 3y agoThey aren't assumed to be bug-free. It's simply known that the vast majority of bugs that occur in practice and that you have to care about aren't compiler or hardware bugs. So formal systems have a lot less bugs.