Defending the world from hackers and their billion-dollar crashes, a computer science team at Colorado State University has come up with a model to prevent headline-catching software bugs. Even the Department of Homeland Security and Microsoft are looking to the CSU model.

link