Formal methods in dynamic software updating: a survey.

Dymanic software updating (DSU) consists in updating running programs on-the-fly without any downtime that leads to systems unavailability. The use of DSU in critical applications raises several is...