Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/5704171
下载链接
链接失效反馈官方服务：
资源简介：
Reproducibility package for the paper Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking 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.
创建时间：
2021-11-16
