Published May 6, 2022
| Version v3
Software
Open
Artifact for the CAV'22 paper "Complementing Büchi Automata with Ranker"
Authors/Creators
- 1. Brno University of Technology
Description
This is an artifact for the CAV'22 paper "Complementing Büchi Automata with Ranker".
For instructions, see the file README.md within the archive.
For a package version (not containing the whole virtual machine but only the packages), see here.
Files
cav22-ranker-artifact.zip
Files
(4.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a0771f6ca7765e897c547e53de907b1
|
4.8 GB | Preview Download |