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

Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet. A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. In Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, editors, Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers. Volume 10158 of Lecture Notes in Computer Science, pages 31-45, Springer, 2016. [doi]

Abstract

Abstract is missing.