The initial phase of a DARPA program that used publicly accessible online games to accelerate the verification of software has helped produce hundreds of thousands of program annotations in common ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results