CrashSafe: a formal model for proving crash-safety of Android applications. - Wilayat Khan; Habib Ullah; Aakash Ahmad; Khalid Sultan; Abdullah J. Alzahrani; Sultan Daud Khan; Mohammad Alhumaid; Sultan Abdulaziz (Hum. centric Comput. Inf. Sci., 2018)