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