A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.

Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet

Browse the full CRiSIS paper archive.