Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
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
Markdown description:
view/edit
Reason for this entry: used by
RABIT
,
Ranker
and
Reduce
Reason for this entry: https://doi.org/10.1007/978-3-031-13188-2
ProVerB
is a part of
SLEBoK
. Last updated:
February 2023
.