SMC for incomplete models

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…

Continue reading

Plasma Lab Tutorial

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.  

Continue reading