Published August 10, 2021
| Version v1
Dataset
Open
Supplementary Materials for paper Evaluating the Rate of Consistency Violation Faults for Self-Stabilizing Programs
Creators
Description
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
Files
Files
(7.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f67694602deb9f5f17d45b7e133a28ab
|
7.3 MB | Download |