Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,992,858 papers from all fields of science
Search
Sign In
Create Free Account
The Power of 10: Rules for Developing Safety-Critical Code
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. The rules are intended to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Assertion (software development)
Avionics software
Dereference operator
Firmware
Expand
Search for papers about The Power of 10: Rules for Developing Safety-Critical Code
Search papers