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.
Read more