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
Important!
For further understanding on Plasma Lab architecture take a look at the detailled architecture page.We also provide PLASMA Lab Service a small application that can be run in console or graphical mode. The pair formed by PLASMA Lab and PLASMA Service allows to easily distribute the amount of work needed by large experiments. You can find more details on our distributed experimentation page.
Important!
If you want to know how Plasma Lab and Plasma Service work together, see our distributed workflow explanation.
