verification environment