Sign in
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
Published in:
Hum. centric Comput. Inf. Sci. (2018)
Keyphrases
</>
formal model
predicate calculus
formal models
security patterns
data sets
safety critical
coal mining
case based reasoning
traffic accidents
security properties
intelligent vehicles
nuclear power plant
road safety