CrashSafe: A Formal Model for Proving Crash-Safety of Android Applications

Human-centric Computing and Information Sciences - United States
doi 10.1186/s13673-018-0144-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

A Practical Formal Model for Safety Analysis in Capability-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Population and Initial Validation of a Formal Model for Construction Safety Risk Management

Journal of Construction Engineering and Management - ASCE
BuildingIndustrial RelationsManagementCivilStructural EngineeringStrategyConstruction
2010English

Proving Safety Properties of Software

English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Proving the Safety of SQL Queries

English

Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE
Multidisciplinary
2017English

Ransomware Detection System for Android Applications

Electronics (Switzerland)
ControlElectronic EngineeringSignal ProcessingComputer NetworksSystems EngineeringHardwareCommunicationsElectricalArchitecture
2019English

An Novel Approach of CNN - Machine Learning Model Integrated With Android for Women’s Safety (SAS)

International Journal for Research in Applied Science and Engineering Technology
2020English

TCM: Test Case Mutation to Improve Crash Detection in Android

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy