{"id":130,"date":"2012-11-27T11:11:56","date_gmt":"2012-11-27T10:11:56","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=130"},"modified":"2017-12-14T09:24:44","modified_gmt":"2017-12-14T08:24:44","slug":"documentation","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/documentation\/","title":{"rendered":"Documentation"},"content":{"rendered":"<p>In this documentation section you can find various explanations on <strong>statistical model-checking<\/strong> and help on <strong>how to use Plasma Lab<\/strong>.<\/p>\n<ul>\n<li><a href=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_doc\/\">Manual<\/a> is a dedicated website that contains all the documentation on how to use Plasma Lab, Plasma Lab algorithms, Plasma Lab plugins, Plasma Lab architecture and how to develop new plugins. The manual can also be downloaded in <a href=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_doc\/manuel.php\">PDF<\/a>.<\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/statistical-model-checking\/\">SMC Overview<\/a> is a short explanation on the principles of statistical model-checking.<\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/publications\/\">Bibliography<\/a><\/li>\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/related-tools\/\">Related Tools<\/a><\/li>\n<p> \t<!--\n\n<li><a href=\"https:\/\/project.inria.fr\/plasma-lab\/faq\/\">Frequently Asked Questions<\/a><\/li>\n\n-->\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>In this documentation section you can find various explanations on statistical model-checking and help on how to use Plasma Lab. Manual is a dedicated website that contains all the documentation on how to use Plasma Lab, Plasma Lab algorithms, Plasma Lab plugins, Plasma Lab architecture and how to develop new\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/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-130","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/130","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=130"}],"version-history":[{"count":20,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/130\/revisions"}],"predecessor-version":[{"id":2395,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/130\/revisions\/2395"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=130"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}