Tasks #162
Activities #149: MD - Main development
Tasks #155: Plugins development
Plugin for Promela file generation
| Status: | Closed | Start date: | 07/01/2012 | |
|---|---|---|---|---|
| Priority: | High | Due date: | 07/03/2012 | |
| Assignee: | Luis Valencia Cabrera | % Done: | 100% | |
| Category: | - | Estimated time: | 3.00 hours | |
| Target version: | - |
Description
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
History
#1 Updated by Luis Valencia Cabrera over 13 years ago
Promela plugin is available at this URL.