{"id":60,"date":"2012-11-20T15:27:23","date_gmt":"2012-11-20T14:27:23","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=60"},"modified":"2015-05-19T17:51:20","modified_gmt":"2015-05-19T15:51:20","slug":"architecture","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/architecture\/","title":{"rendered":"Architecture"},"content":{"rendered":"

<\/p>\n

PLASMA Lab<\/strong> is a Statistical Model Checking tool written in Java. It provides a\u00a0 graphical user interface which allows you to run simulation experiments as well as editing your models and properties<\/p>\n

Important!<\/strong><\/p>For further understanding on Plasma Lab architecture take a look at the detailled architecture page<\/a><\/strong>.<\/div><\/p>\n

We also provide PLASMA Lab Service<\/strong>\u00a0 a small application that can be run in console or graphical mode. The pair formed by PLASMA Lab and PLASMA Service allows to easily distribute the amount of work needed by large experiments. You can find more details on our distributed experimentation page<\/a><\/strong>.<\/p>\n

\"\"<\/a><\/p>\n

Important!<\/strong><\/p>If you want to know how Plasma Lab and Plasma Service work together, see our distributed workflow explanation<\/a><\/strong>.<\/div><\/p>\n

\n

<\/p>","protected":false},"excerpt":{"rendered":"

PLASMA Lab is a Statistical Model Checking tool written in Java. It provides a\u00a0 graphical user interface which allows you to run simulation experiments as well as editing your models and properties We also provide PLASMA Lab Service\u00a0 a small application that can be run in console or graphical mode.\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-60","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/60","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=60"}],"version-history":[{"count":43,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/60\/revisions"}],"predecessor-version":[{"id":2070,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/60\/revisions\/2070"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=60"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}