Tests, Proofs and Refinements.

Sriram K. Rajamani

Published in: ATVA (2008)

Keyphrases

theorem proving
decision making
database
data sets
machine learning
image processing
video sequences
lower bound
multiresolution
theorem prover
decision procedures
formal proof