>I think there are almost literally no software systems today that don't have bugs in them.
Programs that have been formally verified with something like Coq can be bug free. Automating formal verification may be a more effective way to solve the trust issue in this domain.
No comments yet.