The PEPA Plug-in Project |
On-line documentation will be available soon. Please check back here.
For information about how to use the abstraction view and the model checking view of the plugin, please refer to the following paper. It contains information about how to use the interface, and a few examples of the results that can be obtained.