From Tests to Proofs.

Ashutosh Gupta Rupak Majumdar Andrey Rybalchenko

Published in: TACAS (2009)

Keyphrases

theorem proving
real time
case study
artificial neural networks
test data
theorem prover
databases
multimedia
lower bound
control system
probabilistic model
medical images
multiple choice
decision procedures
formal proof