SASA is a Self-stabilizing Algorithms SimulAtor, based on the so-called Atomic State model (ASM) introduced by Dijkstra in its seminal article on Self-stabilizing distributed algorithms.
More information:
SASA
- Software distribution and licensing: Open-source distribution
- Software maturity: Well-tested software, good documentation
- Software Maintenance and Evolution: Active maintenance, plans for future evolution
a SimulAtor of Self-stabilizing Algorithms
