Array Abstractions from Proofs.

Ranjit Jhala Kenneth L. McMillan

Published in: CAV (2007)

Keyphrases

high level
theorem proving
mathematical proofs
theorem prover
linear array
case study
programmable logic
formal proof
computer vision
bayesian networks
real time
social networks
sequent calculus
databases
mathematical knowledge
formal proofs
data sets