Fig. 1From: CrashSafe: a formal model for proving crash-safety of Android applicationsOverview of the proposed solution in the context of Android ICCBack to article page