| | 5th floor at stair 9 in building 2 of CS research group at Bell Labs (spinroot.com) |
| 6 points by fisheuler 23 days ago | past |
|
| | The Power of Ten: rules for developing safety critical code [pdf] (spinroot.com) |
| 1 point by harperlee 3 months ago | past |
|
| | The Power of Ten: Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
| 7 points by ntnbr 4 months ago | past |
|
| | Spin: Formal verification of multi-threaded code (spinroot.com) |
| 7 points by fanf2 9 months ago | past | 2 comments |
|
| | The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
| 1 point by Tomte 10 months ago | past |
|
| | Van der Poel's Dead Programs (2017) [pdf] (spinroot.com) |
| 3 points by pera on July 30, 2024 | past |
|
| | The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
| 4 points by todsacerdoti on April 27, 2023 | past |
|
| | PJW's Face (spinroot.com) |
| 3 points by lagniappe on March 9, 2023 | past |
|
| | Peter J. Weinberger's Face (spinroot.com) |
| 1 point by ryan-duve on Feb 6, 2023 | past |
|
| | The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
| 1 point by gsempe on June 27, 2022 | past |
|
| | PJW's Face(2018) (spinroot.com) |
| 3 points by todsacerdoti on June 4, 2022 | past |
|
| | Bell Labs and Peter J. Weinberger’s face (spinroot.com) |
| 4 points by andrewshadura on Feb 7, 2022 | past | 1 comment |
|
| | Pjw's Face (spinroot.com) |
| 1 point by dcminter on Sept 30, 2020 | past |
|
| | Mars Code (2014) [pdf] (spinroot.com) |
| 2 points by tzhenghao on April 4, 2019 | past |
|
| | The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
| 5 points by okl on Feb 18, 2019 | past |
|
| | Mars Code [pdf] (spinroot.com) |
| 2 points by sidereal on July 31, 2017 | past |
|
| | Code Inflation (2015) [pdf] (spinroot.com) |
| 82 points by saretired on Dec 18, 2016 | past | 37 comments |
|
| | Rules for Writing Safety Critical Code (2006) (spinroot.com) |
| 166 points by mpweiher on Nov 4, 2016 | past | 81 comments |
|
| | The Power of Ten – Rules for Writing Safety Critical Code (spinroot.com) |
| 7 points by BerislavLopac on Nov 3, 2016 | past | 1 comment |
|
| | Verifying Multi-Threaded Software with Spin (spinroot.com) |
| 1 point by orbifold on Aug 28, 2016 | past |
|
| | Code inflation [pdf] (spinroot.com) |
| 3 points by lil1729 on Aug 14, 2016 | past |
|
| | The Power of Ten – Rules for Developing Safety Critical Code (spinroot.com) |
| 287 points by kiyanwang on July 14, 2016 | past | 149 comments |
|
| | Spin: verification tool of multi-threaded program that can compile to C (spinroot.com) |
| 2 points by vmorgulis on March 10, 2016 | past |
|
| | The Power of 10: Rules for Developing Safety-Critical Code [pdf](2006) (spinroot.com) |
| 3 points by stakent on Feb 15, 2016 | past |
|
| | Spin model checker open sourced under 3-clause BSD (spinroot.com) |
| 2 points by thomaslee on Jan 2, 2016 | past |
|
| | Spin – verification of multi-threaded software (spinroot.com) |
| 1 point by lelf on Nov 18, 2015 | past |
|
| | “A Three-Step Program for Recovering Hackers” [pdf] (spinroot.com) |
| 1 point by chaitanyav on July 25, 2015 | past |
|
| | The Power of 10: Rules for Developing SafetyCritical Code [pdf] (spinroot.com) |
| 1 point by masta on June 2, 2015 | past |
|
| | Rules for Writing Safety Critical Code (spinroot.com) |
| 61 points by plumeria on June 2, 2015 | past | 47 comments |
|
| | PJW's Face (spinroot.com) |
| 7 points by zatkin on April 14, 2015 | past |
|
|
| More |
