.. _section-ivabs-examples-verification:

Verification
============