A model-checking verification environment for mobile processes