Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
synthesis [2011/04/19 17:00] jobstman |
synthesis [2011/04/19 17:04] jobstman |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | Action experts have a unique set of complementary skills, whose combination will be necessary to fulfill the research vision of synthesis. By giving a more active role to automated tasks and avoiding low-level coding, synthesis has the potential to dramatically improve the productivity of computer system developers. | ||
| - | Below there is a summary of ongoing research within and outside the action related to the topic of this work group. | + | |
| + | ====== Research on Synthesis within and outside of the action ====== | ||
| + | |||
| + | Below we give an incomplete list of pointers to research within and outside the action related to this working group. | ||
| ====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== | ====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== | ||