Document Actions
Synthesis of Distributed Systems
Program synthesis comprises a range of technologies for the automatic generation of executable computer programs from high-level specifications of their behaviour. A distributed setting maks this task even harder, since open systems, i.e. those still reacting with the environment, have to be handled. In this seminar we look at state of the art papers concerning synthesis of distributed systems, based on the formal view.
- Instructors: Andreas Podelski | Harald Fecher
- Times & Locations: Block seminar at the end of the semetser or at the beginning of the next semester.
Note: There is an enrollment limit for this course.