Recovery oriented programming: runtime monitoring of safety and liveness

Olga Brukman, Shlomi Dolev. Recovery oriented programming: runtime monitoring of safety and liveness. STTT, 13(4):377-395, 2011. [doi]

Abstract

Abstract is missing.