Hidden congruent deduction
| Author(s) : | Joseph Goguen Grigore Rosu, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | Cleverly designed software often fails to satisfy its requirements strictly, but instead satisfies them behaviorally, in the sense that they appear to be satisfied under every experiment that can be performed on the system. A good example is the traditional implementation, |