Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL
| Main Authors: | Gjøl Jensen, Peter, Srba, Jiri, Jensen Ulrik, Nikolaj, Mejlby Virenfeldt, Simon |
|---|---|
| Format: | info dataset Journal |
| Terbitan: |
, 2021
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/5704172 |
Daftar Isi:
- 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.