.. _intro-verification:

Introduction to Verification
############################

.. todo:: Place-holder for verification tutorial