Published June 24, 2019
| Version v1
Software
Open
DEQ : Equivalence Checker for Deterministic Register Automata
Authors/Creators
- 1. University of Oxford
- 2. University of Bristol
- 3. Queen Mary University of London
Description
Archive containing version of tools and benchmarks required to repeat empirical evaluation using the ATVA artifact evaluation virtual machine for the paper DEQ: Equivalence Checker for Deterministic Register Automata.
Unzip to home directory and follow instructions in README.