Changed: 08/01/2012 08:28 pm by Luis Valencia Cabrera
Title: PromelaPlugin
File: 03 - MeCoSim plugins/Promela plugin/PromelaPlugin.jar
Description:
New confirmation and error messages!
Promela plugin updated! Now it covers all the process from P-Lingua file -> parsing and PSystem generation -> Translation to Promela file -> Run spin.
Version: 0.5
Workflow: None
Mime:
Size: 18 KB
Comment:
Changed: 07/31/2012 02:42 pm by Luis Valencia Cabrera
Version: 0.4
Changed: 07/17/2012 02:57 pm by Luis Valencia Cabrera
Version: 0.3
Changed: 07/04/2012 03:52 pm by Luis Valencia Cabrera
Version: 0.2
Size: 1.96 KB
Created: 07/03/2012 02:13 pm by Luis Valencia Cabrera
Version: 0.1
Size: 1.71 KB
(1-5/5)
