https://www.dagstuhl.de/9523
June 5 – 9 , 1995, Dagstuhl Seminar 9523
Methods for Semantics and Specification
Organizer
J.-R. Abrial, E. Börger, H. Langmaack
For support, please contact
Documents
External Homepage
Steam-Boiler Control Specification Problem [pdf]
Dagstuhl's Impact: Documents available
Dagstuhl-Seminar-Report 117
Summary
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.