Roles in a Verification Project