Microsoft Creates An Application Terminator

The program from Microsoft Research is called the TERMINATOR software verification project. Instead of running for governor of California, this tool examines your software code and applies mathematical principles to all of the loops to insure they won't hang.

read more | digg story