Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.

Keyur Joshi Vimuth Fernando Sasa Misailovic

Published in: CGO (2020)

Keyphrases

social networks
neural network
artificial intelligence
high level
exact solution
computer programs
intermediate level
real world
computer vision
model checking
programming environment
reliability analysis
verification method