Tutorials Related to Self Stabilizing Algorithms
- Generate Topologies (.dot files)
- Using the rdbgui4sasa GUI
- About Legitimate Configurations in sasa Interactive Simulations
- Oracle checking of sasa simulations using Lustre and Lurette
- Simulation Campaigns with sasa
- Another Simulation Campaign: Comparing Spanning Trees Construction
- Statistical Analysis of Data obtained by Simulation Campaigns
- Debugging sasa ocaml Algorithms
- Use Potential Functions to explore Algorithms Worst-Case
- Search for worst-case initial configurations
- Model-checking ASM algorithms with salut
- Interactive sasa simulations with rdbg (advanced users)
- Programming custom sasa daemons (advanced users)