Table of contents (25 papers)

  1. Front Matter
  2. Refining abstract machine specifications of the steam boiler control to well documented executable code
    Christoph Beierle, Egon Börger, Igor Đurđanović, Uwe Glässer, Elvinia Riccobene
    Pages 52-78
  3. An algebraic specification of the Steam-Boiler Control System
    Michel Bidoit, Claude Chevenier, Christine Pellen, JérÔme Ryckbosch
    Pages 79-108
  4. A steam-boiler control specification with statecharts and Z
    Robert Büssow, Matthias Weber
    Pages 109-128
  5. An action system approach to the steam boiler problem
    Michael Butler, Emil Sekerinski, Kaisa Sere
    Pages 129-148
  6. The Steam Boiler problem in Lustre
    Thierry Cattel, Gregory Duval
    Pages 149-164
  7. The steam-boiler problem — A TLT solution
    Jorge Cuéllar, Isolde Wildgruber
    Pages 165-183
  8. The real-time behavior of the steam-boiler
    Jorge R. Cuéllar, Isolde Wildgruber
    Pages 184-202
  9. Specifying and verifying the Steam Boiler Problem with SPIN
    Gregory Duval, Thierry Cattel
    Pages 203-217
  10. TRIO specification of a steam boiler controller
    Angelo Gargantini, Angelo Morzenti
    Pages 218-232
  11. Using HyTech to synthesize control parameters for a steam boiler
    Thomas A. Henzinger, Howard Wong-Toi
    Pages 265-282
  12. A VDM specification of the steam-boiler problem
    Yves Ledru, Marie-Laure Potet
    Pages 283-317
  13. Proving safety properties of the steam boiler controller
    Gunter Leeb, Nancy Lynch
    Pages 318-338
  14. Steam boiler control specification problem: A TLA solution
    Frank Leßke, Stephan Merz
    Pages 339-358
  15. Specifying optimal design for a steam-boiler system
    Li XiaoShan, Wang JuAn
    Pages 359-378
  16. An object-oriented algebraic steam-boiler control specification
    Peter Csaba ölveczky, Piotr Kosiuczenko, Martin Wirsing
    Pages 379-402

About these proceedings


This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.
The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.


CD-R CD-ROM code complex systems design documentation formal method programming verification

Bibliographic information

  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61929-1
  • Online ISBN 978-3-540-49566-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349