I am not optimistic this will succeed. Reasoning about programs is much harder than, say, driving a car. (Consider the number of humans who can do each compet

I am not optimistic this will succeed. Reasoning about programs is much harder than, say, driving a car. (Consider the number of humans who can do each competently.) I am glad to see DARPA taking an interest in this problem, but I think they need to take a longer view. Fundamental breakthroughs are needed; it's not just a matter of gluing together existing technologies. Full disclosure: I work for HP Fortify, one of the existing businesses that would certainly be negatively impacted by a technology such as DARPA describes here.