Topic: deep specification

Researchers team up to develop software that eliminates bugs

A team of researchers is looking to put an end to the industry’s longstanding software security problem. As part of a five-year, US$10 million grant from the National Science Foundation (NSF), computer scientists from MIT, Princeton, the University of Pennsylvania and Yale are coming together to develop integrated tools that exterminate software bugs. “In our … continue reading

DMCA.com Protection Status