| | Spin: Formal verification of multi-threaded code (spinroot.com) |
|
7 points by fanf2 24 days ago | past | 2 comments
|
|
| | The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com) |
|
1 point by Tomte 40 days ago | past
|
|
| | Van der Poel's Dead Programs (2017) [pdf] (spinroot.com) |
|
3 points by pera 9 months ago | 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
|
|
| | Rules for Developing Safety Critical Code (NASA) [pdf] (spinroot.com) |
|
4 points by dodders on March 14, 2015 | past
|
|
| | Verifying Multi-threaded Software with Spin (spinroot.com) |
|
26 points by luu on June 20, 2014 | past | 5 comments
|
|
| | PJW's Face (spinroot.com) |
|
1 point by josephwegner on March 24, 2014 | past
|
|
|
|
More |
