A new version of PLASMA Lab (v1.2.0) has been released. It includes the following enhancements:
Improvements and new features
- Reworked RML simulator for better performance.
- Improved user interface.
- Particularly, a new simulation view which allows to simulate your model step by step.
- Reworked API, easier to understand and use.
- New checker: Nested B-LTL. This checker adds nested probability to B-LTL.
To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on plasma-lab-support [no-spam] lists.gforge.inria.fr