3 ms·UCSC, SRI release new game for Darpa crowd-sourced software verification program9 points by cpeterso 11y ago