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
Slashdot stories can be listened to in audio form via an RSS feed, as read by our own robotic overlord.
The algorithm for finding the longest path in a graph is NP-complete. For you systems people, that means it's *real slow*. -- Bart Miller