Supplementary Materials for paper Evaluating the Rate of Consistency Violation Faults for Self-Stabilizing Programs

Source code and data for the paper Evaluating the Rate of Consistency Violation Faults for Self-Stabilizing Programs Content: + directory src: source code + directory lib: libaries used by source code + directory graphs: input graphs (topology) for programs + directory results-2021: analysis and simulation data + run_analyze_cvf_script.sh: script for running analysis + run_simulation_script.sh: script for running simulation