Vizroute: analyse et simulation de schémas de routage

Visidia: visualisation d'algorithmes distribués

Simulations d'algorithmes auto-stabilisants

RDA: une bibliothèque en Coq pour les algorithmes distribués probabilistes

JBotSim: bibliothèque de prototypage d'algorithmes distribués dans les réseaux dynamiques