Doing More with Contracts: Towards Automatic Tests and Proofs.

Published in: RISE (2005)

Keyphrases

neural network
supply chain
theorem prover
formal proof
artificial intelligence
computer vision
metadata
similarity measure
reinforcement learning
data structure
relational databases
evolutionary algorithm
logic programs
theorem proving
multiple choice
natural deduction