We have uploaded a new experimental version (1.4.5) of Plasma Lab. It includes new plugins for analyzing incomplete models (with unknowns): The plugins work with normal RML models that have atomic propositions that may take three values (1 for True, 0 for False, and -1 for Unknown). A new BLTLU…
We gave a tutorial on Plasma Lab at the last SOFSEM conference in Limerick. The slides are available here. We presented the architecture of Plasma Lab, its usage and how the tool can be extended with new plugins. A post-proceedings paper on this tutorial should follow soon.
The european project DALi in which Plasma is used has reached its conclusion. Plasma contribution to the project is detailled here. DALi Final Review
