The implementation of mobile agent systems involves great problems in particular it is often hard to guarantee that the specification of a system that has been designed actually fulfils the design requirements. Especially for critical applications, for example in real-time domains, there is a need to prove that the system being designed will have certain properties under certain conditions (assumptions). These elements have induced researchers to explore new alternatives. One alternative to traditional techniques is to use formal methods in several stages of design. In mobile agent system design the term formal methods refers to the use of mathematical methods for the specification, validation and simulation of systems.