Cloud-Scale Runtime Verification of Serverless Applications.

Kalev Alpernas Aurojit Panda Leonid Ryzhyk Mooly Sagiv

Published in: SoCC (2021)

Keyphrases

cloud computing
small scale
data sets
database
model checking
neural network
genetic algorithm
clustering algorithm
database systems
search algorithm
mobile devices
face verification
multiple scales
signature verification