3 ms·
That's what I'm arguing. Code can be proven correct against a formal spec. However, because we don't do proofs in software, there are bugs.
by crimsonalucard 8y ago
That's what I'm arguing. Code can be proven correct against a formal spec.
However, because we don't do proofs in software, there are bugs.
- throwaway2048 8y agoCode is itself a specification.
- crimsonalucard 8y agoIt can be, but generally it is not.