{"id":1295,"date":"2014-01-28T15:11:36","date_gmt":"2014-01-28T14:11:36","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?p=1295"},"modified":"2014-01-28T15:12:23","modified_gmt":"2014-01-28T14:12:23","slug":"plasma-lab-1-2-10-released","status":"publish","type":"post","link":"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-2-10-released\/","title":{"rendered":"PLASMA Lab 1.2.10 Released"},"content":{"rendered":"<p>A new version of PLASMA Lab (v1.2.10) has been released. It includes the following enhancements:<\/p>\n<p><strong>Improvements and new features<\/strong><\/p>\n<ul>\n<li>We have extended the grammar of BLTL with two adaptive operators that observe adaptive transitions in stochastic adaptive systems (SAS). This new requirement language is <a href=\"https:\/\/project.inria.fr\/plasma-lab\/property-language\/\"><strong>A-BLTL<\/strong><\/a>.<\/li>\n<li>PLASMA Lab can also check unbounded properties using A-BLTL. See our short tutorial about <a href=\"https:\/\/project.inria.fr\/plasma-lab\/checking-unbounded-a-bltl-properties\/\"><strong>unbounded ALTL<\/strong><\/a>.<\/li>\n<li>We have extended the BLTL grammar so that is is possible to declare variable in a requirement and use expression as temporal bound.<\/li>\n<\/ul>\n<ul>\n<li>Various bugfixes.<\/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>","protected":false},"excerpt":{"rendered":"<p>A new version of PLASMA Lab (v1.2.10) has been released. It includes the following enhancements: Improvements and new features We have extended the grammar of BLTL with two adaptive operators that observe adaptive transitions in stochastic adaptive systems (SAS). This new requirement language is A-BLTL. PLASMA Lab can also check\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/plasma-lab-1-2-10-released\/\"><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":[],"class_list":["post-1295","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\/1295","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=1295"}],"version-history":[{"count":2,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1295\/revisions"}],"predecessor-version":[{"id":1297,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/posts\/1295\/revisions\/1297"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=1295"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/categories?post=1295"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/tags?post=1295"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}