The PEPA Plug-in Project


Sorry - Documentation on the PEPA Plug-in Project is not currently available on-line. However, once you download the tool a user guide on how to get started will be available in the Eclipse Help system.

On-line documentation will be available soon. Please check back here.

Abstraction and Model Checking Documentation

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.