|
| | | Translation of the model to AutoC, Auto and NBac |
Our input files are lecteur.preamble, lecteur.lus and lecteur.environment.m4. We run the sequence of command
m4 lecteur.environment.m4 >lecteur.environment lus2autoc lecteur.preamble lecteur.lus L lecteur.environment lecteur.autc autoc2auto lecteur.autc auto2nbac lecteur.aut
to obtain successively lecteur.autc, lecteur.aut and lecteur.ba.
We provide in the subdirectory lecteurhybrid a Makefile and a script to execute the experiments with nbacg.opt executable.
|
| | | Translation of the model to AutoC, Auto and NBac |