BA

Format for Büchi automata

Application domain/field

Büchi automata

Type of tool

Exchange format
Automaton Specification format

Links

http://languageinclusion.org/doku.php?id=tools#the_ba_format

Related tools

List of tools that support the format as input or output: RABIT, Ranker, Reduce.

ProVerB specific



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