PV1 Reduceminimizes Büchi automata

Büchi automata minimization tool

Application domain/field

Type of tool

Automata translator?

Expected input

Büchi automaton (BA) or nondeterministic finite automaton (NFA)

Format:

BA format

Expected output

Minimized automaton?

Internals

Reduce can be invoked with one of the following options: By default Reduce will reduce Büchi automata. You can switch to NFA semantics by using the option -finite.
Automaton

Links

Repository (Reduce is packaged with RABIT): https://github.com/ISCAS-PMC/RABIT

Last commit date

9 January 2019

Related papers

https://doi.org/10.1145/2480359.2429079 (POPL 2013)

Last publication date

January 2013

Related tools

Seems to be bundled with RABIT

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.