[an error occurred while processing this directive]
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

[an error occurred while processing this directive] englishicon
 

Overview

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

Installation

  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.

Contact

Questions can be directed to Alin Stefanescu.

Links