HOA: Hanoi Omega-Automata format

Links

https://adl.github.io/hoaf/

Related papers

https://doi.org/10.1007/978-3-319-21690-4_31 (CAV 2015 Lightning Talk)

Last publication date

2015

Related tools

List of tools that support the format as input or output: https://adl.github.io/hoaf/support.html

ProVerB specific

• Markdown description: view/edit
• Contained in the ProVerB22 dataset (paper + artefact)