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…
A new version of PLASMA Lab (v1.3.0) has been released. It includes the following enhancements: Improvements and new features New command line mode to launch algorithms directly from the command line. New SystemC plugin. New Observer plugin to write properties as observers in the RML language. This replace the MRLRare…
The european project DALi in which Plasma is used has reached its conclusion. Plasma contribution to the project is detailled here. DALi Final Review
A new version of PLASMA Lab (v1.2.20) has been released. It includes the following enhancements: Improvements and new features Rewards can now be used in RML and BLTL. Algorithms for nondeterminism with rewards: the algorithms described here have been extended to compute minimum and maximum rewards. Several examples have been…
A new version of PLASMA Lab (v1.2.18) has been released. It includes the following enhancements: Improvements and new features Algorithms for nondeterminism: these algorithms, described here, comprise the previously released Chernoff iterated algorithm (renamed Chernoff ND), as well as a new sequential algorithm (named Sequential ND). To test and download…
