SynAsync synthesizes (if possible) an asynchronous automaton from
a given finite deterministic automaton. The generated asynchronous automaton
accepts the same language as the input automaton (or smaller in case the
problem is relaxed).
- Download the source code and unpack the archive.
make should suffice to compile the synthesizer.
- You can get a list of command-line options by calling
without any arguments. See also the
README file for further details.
Questions can be directed to