Discharging Proof Obligations from Atelier B Using Multiple Automated Provers.

David Mentré Claude Marché Jean-Christophe Filliâtre Masashi Asuka

Published in: ABZ (2012)

Keyphrases

theorem prover
theorem proving
data sets
real time
database systems
neural network
social networks
three dimensional
image sequences
similarity measure
data structure
proof search