Mailing List Archive Mailing List Archive
William E. Sadler sez: > You are not completely correct in this statement. Whether or not software > can be certified as bug free depends upon what context you define bug free. > It is quite possible to *PROVE* that software is correct, and since > hardware is basically hardwired software (or is software loosely wired > hardware? ), anyway, it is quite possible to prove that software/hardware > combinations will perform 100% to specifications. Ah, yes, provable software. Rebreathers are the *ultimate* application of proveable software, if there ever was such a thing. Unfortunately, I casually asked several rebreather people (not necessarily the engineers, though), and none of them seemed to have ever heard of things like Z, much less actually apply them. > However, it is still impossible to prove that specification is correct to > solve the problem. So true. But rebreathers are a relatively small problem domain, and so a mathematically formal specification should be capable of being understood. Certainly in comparison to something like CICS...but then, there is not the same (apparent) financial incentive to the rebreather manufacturers, as there was to IBM. -frank -- fhd@in*.ne* | Testing can show the presence of bugs, but not their 1 212 559 5534 | absence. 1 917 992 2248 | -- Dijkstra 1 718 746 7061 |
Navigate by Author:
[Previous]
[Next]
[Author Search Index]
Navigate by Subject:
[Previous]
[Next]
[Subject Search Index]
[Send Reply] [Send Message with New Topic]
[Search Selection] [Mailing List Home] [Home]