Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
收藏数据链接：
官方服务：
资源简介：
Reproducibility package for the paper <strong>Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking</strong> accepted for VMCAI'22. Contains scripts, 64-bit Linux binaries, and the dataset used to run the experiments detailed in the paper, a source code snapshot used to compile those binaries, as well as scripts for processing the results into the tables seen in the paper. The file README.md contains details on running the various parts of the artifacts, assuming a Linux environment.
提供机构：
Zenodo创建时间：
2021-11-16
