Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Sylvain Conchon Mohamed Iguernelala

Published in: RSSRail (2016)

Keyphrases

high rate
theorem proving
neural network
machine learning
computer vision
multiresolution
information retrieval
social networks
image processing
sampling rate
industrial automation