• JBotSim Library: A simulation library for distributed algorithms in dynamic networks.
• PADEC Library:  A Framework for Certified Self-Stabilization (developed with the proof assistant Coq)
• SASA. The simulation engine SASA (Self-stabilizing Algorithms SimulAtor) offers numerous features helping the design, validation, and (empirical) evaluation of distributed self-stabilizing algorithms.

©