HOAX: Hanoi Omega-Automata eXecutor

This tool executes one or more automata expressed in HOA format. Execution may be customised in several ways by means of config files.

You can obtain it from pip:

pip install hoax-hoa-executor

If you only need the command-line tool, we recommend using pipx or uv:

pipx install hoax-hoa-executor  # or
uv tool install hoax-hoa-executor

Running from sources (developers)

The tool requires Python >= 3.12 and uv.

After cloning this repository:

cd hoax
# Run
uv run hoax examples/nondet.hoa --config examples/flip.toml

Use Ctrl-C to stop. Use

uv run hoax --help

For usage instructions.

Publications

If you use hoax in an academic project, please cite this paper:

@inproceedings{distefano2025executionmonitoringhoaautomata,
    title={Execution and monitoring of {HOA} automata with {HOAX}}, 
    author={Di Stefano, Luca},
    year={2025},
    booktitle={25th International Conference on Runtime Verification ({RV})}
    url={https://arxiv.org/abs/2507.11126},
    pubstate={To appear}
}