Specification and Refinement of Reactive Systems - A Case Study

Motivation

The aim of the workshop is to compare and relate the different specification formalisms and development methods. To pursue this aim Leslie Lamport defined a practical example to serve as a common task.

Each participant of the workshop is kindly requested to treat the given problem with the method supported by him and to present the result in a talk at the workshop. Special emphasis should be put on the presentation of the characteristics of this method and the encountered advantages and drawbacks. By means of this single task a basis can be given to extract the common and different features of those methods and to relate the different approaches in the following discussions.