Microsoft creates an application terminator
InternetNews | at | by Mike
So, who hasn't had an application or device driver lock up on their computer? Everyone knows that frustration.
To counter this, researchers at Microsoft have come up with a mathematical solution to lockups that examines your code and asks the same question: "Sarah Connor?"
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.