Verification environment