Slide 1 John M. Burke, PE, CAPP, Consultant Parking, Transit & Downtown Development Haverhill City Council Presentation March 3, 2015 Slide 2 Introduction John Burke,…
Convergence Refinement Murat Demirbas Anish Arora The Ohio State University A basic question in fault-tolerance Is fault-tolerance preserved under program refinement ? In…