News for hackers. Stuff that matters.

A comment on Rules for Writing Safety Critical Code (2006). Parent comment

Re:Rules for Writing Safety Critical Code (2006) by 4ad on Friday November 04, 2016 @11:44AM (#12873459)
As an anecdote, spin was used in Plan 9 to validate the kernel scheduler and the IL network protocol. It was also used to validate a very early version of the Go scheduler.
[ Parent | on HN ]

There are no comments on this comment yet.