Experimental procedures for entanglement verification

We give an overview of different types of entanglement that can be generated in experiments, as well as of various protocols that can be used to verify or quantify entanglement. We propose several criteria that, we argue, should be applied to experimental entanglement verification procedures. Explicit examples demonstrate that not following these criteria will tend to result in overestimating the amount of entanglement generated in an experiment or in inferring entanglement when there is none. We distinguish protocols meant to refute or eliminate hidden-variable models from those meant to verify entanglement.