PLASMA Lab is a Statistical Model Checking tool written in Java. It provides a graphical user interface which allows you to run simulation experiments as well as editing your models and properties. PLASMA Lab Service is a small application which is used in conjunction with PLASMA Lab in distributed mode. It's also written in Java and can be run in a shell or using its own GUI.
PLASMA Lab is developed with Java 7. Previous versions may presents issues and are not supported.
Here you can find links to our Java Web Start deployment files which will allow you to quickly run PLASMA. You can also download our JARs files. You can find some useful informations on our documentation page. In particular you would like to take a look at our tutorial which covers using PLASMA Lab in local and distributed mode.
Just click on the link of the PLASMA version you want to give a try. It will run Plasma Lab directly from this page.
Latest release (1.2.16)
Your browser should recognize the jnlp file and ask you to open it with Java Web Start or another equivalent like IcedTea. If your browser is unable to find a JWS launcher please verify that you have installed Java.
" If you encounter any trouble with JWS, use the download method above. We recommand using Oracles' JWS on Linux.
Here are the executable JAR files of Plasma Lab and Plasma Lab Service. We also provides bundles in zip or tar.gz format, containing executables, plugins, configurations files, and some demos.
Latest release (1.2.18)
PLASMA Lab -- [tar.gz] -- [zip] -- [jar] -- [nightly]
Download these files and run them in a terminal
java -jar LOCATION_OF_JAR/PlasmaLab.jar
java -jar LOCATION_OF_JAR/PlasmaLab-Service.jar
Previous releases