June 5 – 9 , 1995, Dagstuhl Seminar 9523

Methods for Semantics and Specification


J.-R. Abrial, E. Börger, H. Langmaack

For support, please contact

Dagstuhl Service Team


External Homepage
Steam-Boiler Control Specification Problem [pdf]
Dagstuhl's Impact: Documents available
Dagstuhl-Seminar-Report 117


The seminar took the form of a "competition" between different researchers who had been invited as representatives of their particular methods. The competition was on the steam boiler control specification problem of J.-R. Abrial, E. Börger, and H. Langmaack, which has been posed to the participants as a common case study.


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.