Jul 20, 2017

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

Posted by in category: cybercrime/malcode

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

Comments are closed.