The Steam-Boiler of R. Abrial

The Steam-Boiler of R. Abrial

This case-study is a famous Steam-boiler control specification problem proposed by R. Abrial. [2]. Hybrid model of it has been proposed in [4], however this model ignores most of the error protocols that are part of the specification and which makes the specification complex.

• The model
• Translation of the model to AutoC, Auto and NBac
• The experiments

The Steam-Boiler of R. Abrial