3 ms·
Why not make a compromise? Assume that software has no bugs if there is a publically available machine-checkable proof of the program correctness.
by gjvnq 6y ago
Why not make a compromise?
Assume that software has no bugs if there is a publically available machine-checkable proof of the program correctness.
- Meph504 6y agoBecause they would put an insane unreasonable burden on everyone who has a computer. and basically make everyone but multi-billion companies have to assume their systems are at fault.
- pacamara619 6y agoDo you see the irony in your reply or would you like me to explain it?