A model checking verification environment for mobile processes