Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata - Artifact

This upload contains the files for the artifact evaluation of the paper "Parameterized Verification of Round-based Distributed  Algorithms via Extended Threshold Automata" submitted to the conference "Formal Methods 2024".   In the paper  we present a novel approach to verifying distributed algorithms modeled as threshold automata, as well as a semi-decision procedure for an extension of the model with resets of shared variables.   This artifact contains our prototype implementation and the benchmarks, enabling the user to reproduce the results of our tool from section 7 "Implementation and Experimental Evaluation" of the paper. In order to reproduce the results of the ByMC tool that we compare against, the user has to download a VM containing ByMC separately. Moreover, a few of the results mentioned in the paper need large amounts of RAM to be reproduced (in our experiments up to 73GB).   All relevant files are included in `artifact.zip`. Instructions for using the tool and reproducing the benchmarks can be found in `README.md`, the paper is included as `paper.pdf` and `image.tar` is a container image that contains the tool and benchmarks.     Changelog - Version 0.0.2 of this upload fixes typos and grammatical errors and applies consistent formatting in the README. 本上传内容包含提交至“形式化方法2024（Formal Methods 2024）”会议的论文《基于扩展阈值自动机的轮次分布式算法参数化验证（Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata）》的学术工件评估所需文件。 本文提出了一种针对建模为阈值自动机（Threshold Automata）的分布式算法的新型验证方法，以及针对带有共享变量重置扩展的该模型的半判定过程。 本学术工件包含我们的原型实现与基准测试集，支持用户复现论文第7章‘实现与实验评估’中我们所提出工具的实验结果。若需复现我们进行对比的ByMC工具的实验结果，用户需单独下载包含ByMC的虚拟机（Virtual Machine）镜像。此外，论文中提及的部分结果需要占用大量内存方可复现（在我们的实验中最高可达73GB）。 所有相关文件均收录于`artifact.zip`中。工具使用与基准测试复现说明可参阅`README.md`，论文文件为`paper.pdf`，`image.tar`为包含本工具与基准测试的容器镜像。 更新日志 - 本上传的0.0.2版本修正了拼写与语法错误，并统一了README文档的格式。