Introduction to Verification#

Todo

Place-holder for verification tutorial