data-based verification