Abstract for Didier Begay and Cedric Delayre Name: Didier Begay Organization: University of Bordeaux E-mail: begay@labri.u-bordeaux.fr Go to the bio Name: Cedric Delayre Organization: University of Bordeaux E-mail: delayre@labri.u-bordeaux.fr Go to the bio

Work related to mobile agents --------------------------------------------

Mobile agents, from a verification point of view, are a good candidate for the study of complex systems mixing embedded systems aspects and telecommunication protocols.

Verification of transportable agents can be considered on two levels: the agents level, where the concern is the ability of a configuration of agents to achieve its "mission" on a given network architecture, and the transport level, which deals with the ability of the server architecture to provide mobility and communication to the agents, ie. the ability to support the mobile agents paradigm.

This second level has been considered for a feasability study on Agent Tcl 1.1 during this year 97. Some unspecified and not yet encountered behaviours have been experienced and explained using a model-checking approach. This work is currently being written down.