Promela plugin available

A new plugin is available, to generate a Promela file.
Añadido por Luis Valencia Cabrera hace casi 13 años

A new has been developed for MeCoSim, to enable the generation of a Promela file, to run in the model checker SPIN.
Its functioning is based in the output parser for Promela, provided by Laurentiu Marian Mierla.
The plugin is available in this URL.


Comentarios