Verification in the Age of Microservices.

Aurojit Panda Mooly Sagiv Scott Shenker

Published in: HotOS (2017)

Keyphrases

model checking
functional verification
neural network
face verification
signature verification
data sets
digital images
formal methods
asynchronous circuits
real time
data mining
information retrieval
decision making
three dimensional
artificial neural networks
test generation