Supplementary Materials for paper Evaluating the Rate of Consistency Violation Faults for Self-Stabilizing Programs
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5177181
下载链接
链接失效反馈官方服务：
资源简介：
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
创建时间：
2021-08-17
