Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties. - Schneider, Fred B. (Communications of the ACM, 2017)