Software

  • 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)
©