Project IronFleet: A Step Towards Building a Bug-Free Software Development System

2017-06-06T16:20:57+05:30

The team of researchers working on IronFleet include, from top left, Chris Hawblitzel, Brian Zill, Jon Howell, Michael Lowell Roberts, Bryan Parno, Manos Kapritsos, Jay Lorch and Srinath Setty. (Photographer