Published November 16, 2021
| Version 1.0
Dataset
Open
Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
- 1. Aalborg University
Description
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.
Files
Files
(524.4 MB)
Name | Size | Download all |
---|---|---|
md5:630441ff6f89697f7981fe924a54a383
|
524.4 MB | Download |