A new version of PLASMA Lab (v1.3.4) has been released. It provides a new simulator for the RML language to perform importance sampling simulations. The simulator uses special annotations of RML models to specify sampling parameters.
Sponsors
Statistical Model-Checker
