© 1996

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

  • Editors
  • Jean-Raymond Abrial
  • Egon Börger
  • Hans Langmaack

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1165)

Table of contents

  1. Front Matter
  2. Christoph Beierle, Egon Börger, Igor Đurđanović, Uwe Glässer, Elvinia Riccobene
    Pages 52-78
  3. Michel Bidoit, Claude Chevenier, Christine Pellen, JérÔme Ryckbosch
    Pages 79-108
  4. Robert Büssow, Matthias Weber
    Pages 109-128
  5. Michael Butler, Emil Sekerinski, Kaisa Sere
    Pages 129-148
  6. Thierry Cattel, Gregory Duval
    Pages 149-164
  7. Jorge Cuéllar, Isolde Wildgruber
    Pages 165-183
  8. Jorge R. Cuéllar, Isolde Wildgruber
    Pages 184-202
  9. Gregory Duval, Thierry Cattel
    Pages 203-217
  10. Angelo Gargantini, Angelo Morzenti
    Pages 218-232
  11. Thomas A. Henzinger, Howard Wong-Toi
    Pages 265-282
  12. Yves Ledru, Marie-Laure Potet
    Pages 283-317
  13. Gunter Leeb, Nancy Lynch
    Pages 318-338
  14. Frank Leßke, Stephan Merz
    Pages 339-358
  15. Li XiaoShan, Wang JuAn
    Pages 359-378
  16. Peter Csaba ölveczky, Piotr Kosiuczenko, Martin Wirsing
    Pages 379-402

About this book


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

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment