The DARPA research will take four years, cost $18 million and promises to also help secure critical systems such as aircraft, vehicles and medical devices and make their code more stable."
Link to Original Source
We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).
One can't proceed from the informal to the formal by formal means.