zzamboni’s avatarzzamboni’s Twitter Archive—№ 1,751

  1. seL4 is the 1st gen-purpose OS kernel with a formal proof that the implementation is consistent with the spec http://bit.ly/FZQU2
    On twitter.com Twitter logo zzamboni’s avatar Mood 0