Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

Alexis Fouilhé David Monniaux Michaël Périn

Published in: CoRR (2013)

Keyphrases

artificial intelligence
domain specific
neural network
low level
data sets
information systems
image processing
evolutionary algorithm
domain knowledge
d objects
cost effective
domain independent
public key