Code optimizations using formally verified properties.

Yao Shi Bernard Blackham Gernot Heiser

Published in: OOPSLA (2013)

Keyphrases

artificial intelligence
wide range
neural network
desirable properties
real time
real world
structural properties
data flow
error detection