Crowd-sourced formal verification program generates thousands of software annotations
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 software programming languages, ...