It seems to me that we’re less interested in perfect programs and more interested in programs that are good enough, and there are plenty of those, e.g. some cryptographic software, the mars rover and the Apollo systems, life-critical systems generally, telecom stuff. Of course, there are many notablefailures, too.
It seems to me that we’re less interested in perfect programs and more interested in programs that are good enough, and there are plenty of those, e.g. some cryptographic software, the mars rover and the Apollo systems, life-critical systems generally, telecom stuff. Of course, there are many notable failures, too.