Promela Plugin updated

The plugin for generating an output file in Promela format and run it in Spin has been updated
Added by Luis Valencia Cabrera over 12 years ago

This is the result of this MD task.

It is available in this URL.


Comments