CACM July 2017 - IronFleet: Proving Safety and Liveness of Practical Distributed Systems

Everyone would love to write code that didn't require extensive testing and continuous cycles of debugging, but we all know that simply isn't possible with current technology. What if a new tool could allow software to be written without bugs, and eliminate the need for time consuming test procedures? In this video, Jon Howell and Jay Lorch discuss "IronFleet," the first methodology for automatically verifying distributed systems and the subject of a Research Highlights video in the July 2017 issue of CACM.