Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

SynAsync - Synthesizing Asynchronous Automata



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).


  1. Download the source code and unpack the archive.
  2. Typing make should suffice to compile the synthesizer.
  3. You can get a list of command-line options by calling synasync without any arguments. See also the README file for further details.


Questions can be directed to Alin Stefanescu.