Microsoft researchers explore a practical way to build bug-free software

Mr.X · Oct 9, 2015

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.
Click to expand...

http://blogs.technet.com/b/inside_m...software-ironfleet-microsoft-researchers.aspx

Log in or Sign up

Microsoft researchers explore a practical way to build bug-free software

Mr.X Registered Member

Log in or Sign up

Microsoft researchers explore a practical way to build bug-free software

Mr.X Registered Member

Useful Searches