8th International Workshop on
Logic-based Program Synthesis and Transformation

Manchester, United Kingdom, 15 - 19 June 1998

Mirror sites: Sweden | United Kingdom

Sponsored by the Association for Logic Programming (ALP),
by the ESPRIT Network of Excellence in Computational Logic (Compulog Net),
and by the Prolog Development Center (PDC)

Invited Talk  (Friday 19 June 1998, at 9:30 am)

Algorithms for Synthesizing Reactive Systems: A Perspective

Pierre Wolper
Université de Liège

Starting in the early 80's, a number of algorithmic techniques have been proposed for synthesizing the synchronization kernel of reactive systems from high-level temporal logic specifications. These techniques are based on nontrivial results in logic and automata theory and appear to be quite powerful. Nevertheless, essentially none of this work has found its way to practical use. This talk reviews the main results from this area and tries to identify the main reasons that explain their nonexploitation.

Back to LOPSTR'98 home page