Verification of code

Verification functionality