Integrating Testing and Interactive Theorem Proving

Harsh Raju Chamarthi Peter C. Dillinger Matt Kaufmann Panagiotis Manolios

Published in: ACL2 (2011)

Keyphrases

interactive theorem proving
test cases
data sets
neural network
computer vision
web pages
multi agent
object recognition
evolutionary algorithm