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, adding…