Documents / 03 - MeCoSim plugins / Promela plugin
This folder contains the .jar file to generate the Promela file from the loaded model and scenario in MeCoSim. This file will be ready to run inside Spin.
It also includes the lines to include in the properties-config file.