We present the architecture of Marrella, a tool designed for simulation and verification of distributed systems. The input
of the tool is an event driven language whereas the underlying model is event structures. It gives the possibilities of generating
one, some or all the executions of any distributed program. We have tested the tool for the verification of an embedded system.
The corresponding results are reported here as well as those obtained with equivalent tools applied to the same case study.
These experimental results show then the efficiency of Marrella.