{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2020-03-02T16:19:30","modified_gmt":"2020-03-02T15:19:30","slug":"home","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/","title":{"rendered":"Overview"},"content":{"rendered":"<div id=\"yui-main\" style=\"text-align: justify;\">\n<p align=\"justify\">PLASMA Lab is a compact, efficient and flexible platform for statistical model checking of stochastic models. PLASMA Lab demonstrates\u00a0the following\u00a0advances:<\/p>\n<div align=\"justify\">\n<ul>\n<li>Use <strong>your own simulator and\u00a0 checker<\/strong> via our <strong>plugin system<\/strong>.<\/li>\n<li>Build your software around Plasma Lab <strong>using our API<\/strong>.<\/li>\n<li><strong>Prism (Reactive Modules Language-RML), Biological languages <\/strong>supported.<\/li>\n<li><strong>Matlab\/Simulink, SytemC and LLVM <\/strong>plugins.<strong><br \/>\n<\/strong><\/li>\n<li><strong>Distributed architecture<\/strong>. Whether you plan to use several computers on a local area network or\u00a0 a grid, you can run PLASMA Lab in an easy way.<\/li>\n<li><strong>Fast algorithms.<\/strong><\/li>\n<li><strong>Efficient data structure<\/strong>, low memory consumption.<\/li>\n<li>Developed with <strong>Java<\/strong> for compatibility.<\/li>\n<\/ul>\n<p>PLASMA Lab, is being integrated into the <a href=\"www.ict-dali.eu\/dali\" target=\"_blank\" rel=\"nofollow noopener\">DALi<\/a> and <a href=\"http:\/\/www.danse-ip.eu\/\" target=\"_blank\" rel=\"nofollow noopener\">DANSE<\/a> project platforms.<\/p>\n<hr \/>\n<h3>How to cite PLASMA Lab<\/h3>\n<ul>\n<li><strong>Plasma Lab: A Modular Statistical Model Checking Platform.<\/strong> <em>Axel Legay, Sean Sedwards, Louis-Marie Traonouez, ISoLA 2016<\/em>: 77-93<\/li>\n<\/ul>\n<ul>\n<li><strong>PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.<\/strong> <em>Beno\u00eet Boyer, Kevin Corre, Axel Legay, Sean Sedwards, QEST 2013<\/em>: 160-164<\/li>\n<\/ul>\n<ul>\n<li><strong>A Platform for High Performance Statistical Model Checking &#8211; PLASMA.<\/strong> <em>Cyrille J\u00e9gourel, Axel Legay, Sean Sedwards, TACAS 2012<\/em>: 498-503<\/li>\n<\/ul>\n<hr \/>\n<h3>News &amp; Contact<\/h3>\n<p>You can subscribe to the <strong><a href=\"http:\/\/lists.gforge.inria.fr\/cgi-bin\/mailman\/listinfo\/plasma-lab-news\">Plasmas-lab-news<\/a><\/strong> mailing list to receive news on PLASMA-Lab.<\/p>\n<p>For support ask questions to following mailing list:<\/p>\n<p style=\"padding-left: 30px;\"><a href=\"mailto:plasma-lab-support@lists.gforge.inria.fr\"><strong>plasma-lab-support [no-spam] lists.gforge.inria.fr<\/strong><\/a><\/p>\n<hr \/>\n<h3>People<\/h3>\n<ul>\n<li><a href=\"https:\/\/members.loria.fr\/OZendra\/\">ZENDRA Olivier<\/a>\u00a0&#8211; Team leader<br \/>\nOlivier.Zendra[-at-]inria.fr<\/li>\n<li><a href=\"http:\/\/www.annelieheuser.com\/AH\/Home.html\">HEUSER Annelie<\/a>\u00a0&#8211; Plasma Lab manager<br \/>\nannelie.heuser[-at-]irisa.fr<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/taniarichmondnc\/home\/en\/\">RICHMOND Tania<\/a>\u00a0&#8211; Developer<br \/>\ntania.richmond[-at-]inria.fr<\/li>\n<\/ul>\n<h3>Former contributor<\/h3>\n<ul>\n<li><a href=\"http:\/\/people.rennes.inria.fr\/Benoit.Boyer\/\">BOYER Benoit<\/a><\/li>\n<li><a href=\"mailto:kevin.corre@inria.fr\">CORRE Kevin<\/a><\/li>\n<li><a href=\"http:\/\/people.irisa.fr\/Cyrille.Jegourel\/\">JEGOUREL Cyrille<\/a><\/li>\n<li><a href=\"http:\/\/people.irisa.fr\/Axel.Legay\/\">LEGAY Axel<\/a><\/li>\n<li><a href=\"https:\/\/people.irisa.fr\/Chan.Ngo\/\">NGO Van-Chan<\/a><\/li>\n<li><a href=\"https:\/\/people.irisa.fr\/Jean.Quilbeuf\/\">QUILBEUF Jean<\/a><\/li>\n<li><a href=\"http:\/\/people.irisa.fr\/Sean.Sedwards\/\">SEDWARDS Sean<\/a><\/li>\n<li><a href=\"https:\/\/people.irisa.fr\/Matthieu.Simonin\/\">SIMONIN Matthieu<\/a><\/li>\n<li><a href=\"http:\/\/people.rennes.inria.fr\/Louis-Marie.Traonouez\/\">TRAONOUEZ Louis-Marie<\/a><\/li>\n<\/ul>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>PLASMA Lab is a compact, efficient and flexible platform for statistical model checking of stochastic models. PLASMA Lab demonstrates\u00a0the following\u00a0advances: Use your own simulator and\u00a0 checker via our plugin system. Build your software around Plasma Lab using our API. Prism (Reactive Modules Language-RML), Biological languages supported. Matlab\/Simulink, SytemC and LLVM\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/4","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":63,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":2415,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/4\/revisions\/2415"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}