How does verification work if a dataset is managed by an automated tool?