{"id":1035,"date":"2013-07-09T11:04:11","date_gmt":"2013-07-09T09:04:11","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=1035"},"modified":"2013-07-09T15:13:06","modified_gmt":"2013-07-09T13:13:06","slug":"plasma-lab-1-2","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-2\/","title":{"rendered":"PLASMA Lab 1.2 Released"},"content":{"rendered":"<p>A new version of PLASMA Lab (v1.2.0)\u00a0 has been released. It includes the following enhancements:<\/p>\n<p><strong>Improvements and new features<\/strong><\/p>\n<ul>\n<li>Reworked <strong><a href=\"https:\/\/project.inria.fr\/plasma-lab\/Model%20Languages\/\">RML simulator <\/a><\/strong>for better performance.<\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/\"><strong>Improved user interface<\/strong><\/a>.\n<ul>\n<li>Particularly, a new <a href=\"https:\/\/project.inria.fr\/plasma-lab\/how-to-simulate-a-model\/\"><strong>simulation view<\/strong><\/a> which allows to simulate your model step by step.<\/li>\n<\/ul>\n<\/li>\n<li>Reworked <a href=\"https:\/\/project.inria.fr\/plasma-lab\/api-tutorial\/\"><strong>API<\/strong><\/a>, easier to understand and use.<\/li>\n<li>New checker: <strong><a href=\"https:\/\/project.inria.fr\/plasma-lab\/property-language\/\">Nested B-LTL<\/a><\/strong>. This checker adds nested probability to B-LTL.<\/li>\n<\/ul>\n<p>To test and download PLASMA Lab, go to our download page. If you encounter any issues or want to discuss about PLASMA Lab functionnalities, please contact us on<span style=\"color: #3366ff;\"> <strong>plasma-lab-support [no-spam] lists.gforge.inria.fr<\/strong><\/span><\/p>\n<div id=\"attachment_977\" style=\"width: 310px\" class=\"wp-caption aligncenter\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoOptimEdit.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-977\" class=\"size-medium wp-image-977 \" alt=\"tutoOptimEdit\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoOptimEdit-300x187.png\" width=\"300\" height=\"187\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoOptimEdit-300x187.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoOptimEdit-1024x640.png 1024w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoOptimEdit.png 1920w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><p id=\"caption-attachment-977\" class=\"wp-caption-text\">PLASMA Lab edition view<\/p><\/div>\n<div id=\"attachment_957\" style=\"width: 310px\" class=\"wp-caption aligncenter\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-957\" class=\"size-medium wp-image-957 \" alt=\"tutoPlot\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-300x187.png\" width=\"300\" height=\"187\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-300x187.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-1024x640.png 1024w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot.png 1920w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><p id=\"caption-attachment-957\" class=\"wp-caption-text\">PLASMA Lab simulation view<\/p><\/div>\n<div id=\"attachment_971\" style=\"width: 310px\" class=\"wp-caption aligncenter\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2012\/12\/architecture5.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-971\" class=\"size-medium wp-image-971 \" alt=\"architecture5\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2012\/12\/architecture5-300x169.png\" width=\"300\" height=\"169\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2012\/12\/architecture5-300x169.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2012\/12\/architecture5-1024x580.png 1024w, https:\/\/project.inria.fr\/plasma-lab\/files\/2012\/12\/architecture5.png 1029w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><p id=\"caption-attachment-971\" class=\"wp-caption-text\">PLASMA Lab v1.2 architecture<\/p><\/div>\n<p style=\"text-align: center;\">\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>A new version of PLASMA Lab (v1.2.0)\u00a0 has been released. It includes the following enhancements: Improvements and new features Reworked RML simulator for better performance. Improved user interface. Particularly, a new simulation view which allows to simulate your model step by step. Reworked API, easier to understand and use. New\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-2\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[11,12,10,8,9],"class_list":["post-1035","post","type-post","status-publish","format-standard","hentry","category-release-notes","tag-features","tag-lab","tag-new","tag-plasma","tag-release"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1035","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/post"}],"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=1035"}],"version-history":[{"count":13,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1035\/revisions"}],"predecessor-version":[{"id":1063,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1035\/revisions\/1063"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=1035"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=1035"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=1035"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}