in ,

Charles River Analytics Unveils Crowd-Sourced Software Verification Framework

Charles River Analytics Unveils Crowd-Sourced Software Verification Framework - top government contractors - best government contracting event
https://executivebiz-media.s3.amazonaws.com/2022/08/19/30/9f/c3/a0/b7/6f/d4/64/Executive-Biz.png

Charles River AnalyticsCharles 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.

ExecutiveBiz Logo

Sign Up Now! ExecutiveBiz provides you with Daily Updates and News Briefings about Industry News

mm

Written by Jay Clemens

Vahna Releases Updated Version of 'Edge' Cloud-Based Cyber Platform - top government contractors - best government contracting event
Vahna Releases Updated Version of ‘Edge’ Cloud-Based Cyber Platform
Coast Guard Explores Potential Sources of Enterprise IT Modernization Support - top government contractors - best government contracting event
Coast Guard Explores Potential Sources of Enterprise IT Modernization Support