{"id":2129,"date":"2015-08-14T15:15:59","date_gmt":"2015-08-14T13:15:59","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=2129"},"modified":"2015-08-14T15:16:15","modified_gmt":"2015-08-14T13:16:15","slug":"plasma-lab-1-3-6-released","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-3-6-released\/","title":{"rendered":"PLASMA Lab 1.3.6 Released"},"content":{"rendered":"<p>A new version of PLASMA Lab (v1.3.6) has been released.<br \/>\nThis version introduces several corrections:<\/p>\n<ul>\n<li>The CUSUM algorithm has been corrected.<\/li>\n<li>The CUSUM interface now provides three different checks: one for the classical CUSUM algorithm, one for simulating the algorithm in order to estimate the stopping rule, and one that applies Monte Carlo analyses along a trace to check the independence between delayed samples.<\/li>\n<li>The BLTL plugin has been corrected . There was a possible bug when checking some nested properties and the weak until operator is now operational.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>A new version of PLASMA Lab (v1.3.6) has been released. This version introduces several corrections: The CUSUM algorithm has been corrected. The CUSUM interface now provides three different checks: one for the classical CUSUM algorithm, one for simulating the algorithm in order to estimate the stopping rule, and one that\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-3-6-released\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":235,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-2129","post","type-post","status-publish","format-standard","hentry","category-release-notes"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2129","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\/235"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=2129"}],"version-history":[{"count":1,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2129\/revisions"}],"predecessor-version":[{"id":2130,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/2129\/revisions\/2130"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=2129"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=2129"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=2129"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}