Verification and unit testing