End-to-end verification