Synthesizing Modular Invariants for Synchronous Code.

Pierre-Loïc Garoche Arie Gurfinkel Temesghen Kahsai

Published in: HCVS (2014)

Keyphrases

moment invariants
machine learning
quasi invariant
database
real time
computer vision
three dimensional
pattern recognition
fully functional
modular neural networks
imperative programs