Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra.

Alexis Fouilhé David Monniaux Michaël Périn

Published in: SAS (2013)

Keyphrases

access control
high level
domain specific
domain independent
neural network
image segmentation
optimal solution
pairwise
higher level
highly efficient
public key