PREPRINT Specifying and Verifying the Correctness of Dynamic Software Updates

by Christopher M. Hayden , Stephen Magill , Michael Hicks , Nate Foster , Jeffrey S. Foster