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.