Charles River Analytics Unveils Crowd-Sourced Software Verification Framework

Charles River Analytics has introduced a framework designed to manage and analyze crowd-sourced software verification tools.

The framework is presented as part of the Crowd-Sourced Formal Verification program of the Defense Advanced Research Projects Agency, Charles River said Friday.

“Software should go through formal verification to ensure that mission-essential software is free from disruptive errors and security vulnerabilities,“ the company added.

DARPA“™s CSFV program develops games intended to modify formal verification challenges as puzzles in order to provide access to a broad population.