[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Subjects

Methodology

Applications

ASM Studies

Steam Boiler Control Problem

Citation: Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, and Elvinia Riccobene, "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code." In Jean-Raymond Abrial, Egon. Börger, and Hans Langmaack, "Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control", LNCS 1165, Springer-Verlag, 1996, 52-78.
Summary: A specification and verification of a steam boiler control system, including refinements down to the level of C++ code.
Subjects: Benchmark Examples, Verification
Download: PostScript, PDF, Compressed PostScript.
Notes:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/steam.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT