|
|
| | 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 | |
| | Peter J. Weinberger's Face (spinroot.com) | | 1 point by sabalaba on June 17, 2013 | past | |
| | Spin: on the fly, LTL model checking (spinroot.com) | | 1 point by DanielRibeiro on Dec 25, 2012 | past | |
| | The Power of Ten 10 Rules for Writing Safety Critical Code (spinroot.com) | | 1 point by kungfudoi on Dec 6, 2012 | past | |
| | Reliable Software Systems Design (spinroot.com) | | 1 point by mikmoila on March 6, 2012 | past | 1 comment | |
| | PJW's Face (spinroot.com) | | 1 point by iradik on Dec 19, 2011 | past | |
| | Bell Labs, building 2, 5th floor: main occupants for each office over the years. (spinroot.com) | | 27 points by moon_of_moon on Feb 12, 2010 | past | 17 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
