Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
regsy [2010/06/04 16:49] vkuncak |
regsy [2010/06/04 16:53] vkuncak |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| RegSy (Regular Synthesis) is a synthesis tool that can be used to build functions from specification written in WS1S (or, equivalently, specifications given by automata, thanks to the WS1S-automata connection). | RegSy (Regular Synthesis) is a synthesis tool that can be used to build functions from specification written in WS1S (or, equivalently, specifications given by automata, thanks to the WS1S-automata connection). | ||
| + | |||
| + | ==== Paper Describing the Algorithm ===== | ||
| + | |||
| + | |||
| ==== Examples ==== | ==== Examples ==== | ||