Translation of the model to AutoC, Auto and NBac

Translation of the model to AutoC, Auto and NBac

Our input files are steamboiler.preamble, steamboiler.lus, and steamboiler.environment.m4.

We provide in the subdirectory steamboiler a Makefile and a script to execute the experiments with nbacg.opt executable.


Translation of the model to AutoC, Auto and NBac