Posted by Allison Linn

IronFleet: Building bug-free software

Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

“Program verification has been a holy grail for computer science for 40 or 50 years,” said Bryan Parno, a Microsoft researcher who is one of the co-authors of a forthcoming paper on the project.

The researchers caution that we are still far from a world in which large computer programs, such as complex operating systems, could realistically be built in a way that is guaranteed to be free of bugs.

…(read more)