HOA: Hanoi Omega-Automata format

Application domain/field

ω-automata

Type of tool

Exchange format
Automaton Specification 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



ProVerB is a part of SLEBoK. Last updated: February 2023.