GE Research to Develop New Model That Would Accelerate Code Verification Processes
GE Research will lead a $10.5 million project under the Defense Advanced Research Projects Agency to create an advanced assurance model that would accelerate software certification for critical military and industrial systems. The initiative is under DARPA’s Automated Rapid Certification of Software program. Under the project, GE Research will reduce the time and cost to […]
