Please enable JavaScript to experience Vimeo in all of its glory.
from CACM PRO
Authors Jon Howell and Jay Lorch discuss formal methods, big systems, and "IronFleet" (cacm.acm.org/magazines/2017/7/218876), a Research Highlights article in the July 2017 Communications of the ACM.
