GDT4MAS : a formal model and language to specify and verify multiagent systems

In this article, we illustrate on a toy example the proof process of the GDT4MAS model and we explain why this model is very well suited to specify and verify complex systems.