Tasks #162
Activities #149: MD - Main development
Tasks #155: Plugins development
Plugin for Promela file generation
| Estado: | Closed | Fecha de inicio: | 2012-07-01 | |
|---|---|---|---|---|
| Prioridad: | High | Fecha fin: | 2012-07-03 | |
| Asignado a: | Luis Valencia Cabrera | % Realizado: | 100% | |
| Categoría: | - | Tiempo estimado: | 3.00 horas | |
| Versión prevista: | - |
Descripción
A new plugin has been developed to generate a file in Promela, to provide to the Model Checker SPIN.
This plugin calls the output parser developed by Laurentiu Marian Mierla.
Recurrences
Histórico
#1 Actualizado por Luis Valencia Cabrera hace casi 12 años
Promela plugin is available at this URL.