|
| | | 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 |