AcmeStudio + Plugin

AcmeStudio with Affidavit Analysis plugin can be downloaded here.For the tool correct operation, PRISM probabilistic model checker it is also required to be installed.

Use the Analysis->PRISM tab on the AcmeStudio preferences to set the PRISM installation location.

Both downloads can be found on the following links:

• AcmeStudio 3.5.4 + Analysis for Windows
• PRISM, probabilistic model checker

Plugin

This is only the plugin for download. The requirements for this download option is the AcmeStudio already installed.

You should use the "software update" feature from AcmeStudio to install the plugin using the following remote site url:

http://affidavit.dei.uc.pt/releases/analysis