A new version of PLASMA Lab (v1.3.2) has been released. It includes the following enhancements:
- Distributed algorithms for importance splitting.
- A tool that converts a BLTL property into an observer used by the importance splitting algorithm.
Please note that the IDs of the models, properties, and algorithms plugins have been changed (the prefix fr.inria.plasmalab has been removed from all the IDs). It makes it easier to use in the command line version. However the models created by an older version of PLASMA Lab must be updated by hand to load them in the new version.
