The Power of Ten—Rules for Developing Safety Critical Code¶
Holzmann, G. J. (2006). The Power of Ten—Rules for Developing Safety Critical Code. Computer, 39(6), 95-97.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- The Power of Ten: Rules for Developing Safety-Critical Code
- He explicitly says that ten rules cannot be all-encompassing; their role is to provide a foothold for measurable reliability and verifiability rather than certify correctness.
This sourcePrimary definition, complete rule inventory, rationales, and explicit non-completeness boundary.
- He explicitly says that ten rules cannot be all-encompassing; their role is to provide a foothold for measurable reliability and verifiability rather than certify correctness.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 1 other way.
Registry ID ref:d06403ef0338 · see in the full table