Multi-Process Runtime Verification for Android.

Haiyang Sun Alexander North Walter Binder

Published in: APSEC (2017)

Keyphrases

image processing
data structure
database
neural network
search algorithm
design process
process model
development process
mobile applications
formal verification