{"id":451,"date":"2012-12-21T11:07:21","date_gmt":"2012-12-21T10:07:21","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=451"},"modified":"2013-10-18T17:06:55","modified_gmt":"2013-10-18T15:06:55","slug":"related-tools","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/related-tools\/","title":{"rendered":"Related Tools"},"content":{"rendered":"<p><\/p>\n<table class=\"biblio\">\n<tbody>\n<tr id=\"UPPAAL\" class=\"bib_entry\">\n<td class=\"bib_ref\">[UPPAAL]<\/td>\n<td class=\"bib_details\">\n<strong>The UPPAAL Tool<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/www.uppaal.com\">http:\/\/www.uppaal.com<\/a>\n<\/td>\n<\/tr>\n<tr id=\"PRISM\" class=\"bib_entry\">\n<td class=\"bib_ref\">[PRISM]<\/td>\n<td class=\"bib_details\">\n<strong>The probabilistic model checker PRISM<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/www.prismmodelchecker.org\">http:\/\/www.prismmodelchecker.org<\/a>\n<\/td>\n<\/tr>\n<tr id=\"APMC\" class=\"bib_entry\">\n<td class=\"bib_ref\">[APMC]<\/td>\n<td class=\"bib_details\">\n<strong>APMC: Approximate Probabilistic Model Checker<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/sylvain.berbiqui.org\/apmc\">http:\/\/sylvain.berbiqui.org\/apmc<\/a>\n<\/td>\n<\/tr>\n<tr id=\"SMV\" class=\"bib_entry\">\n<td class=\"bib_ref\">[SMV]<\/td>\n<td class=\"bib_details\">\n<strong>The SMV Model Checker (SMV)<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/www.kenmcmil.com\/smv.html\">http:\/\/www.kenmcmil.com\/smv.html<\/a>\n<\/td>\n<\/tr>\n<tr id=\"SPIN\" class=\"bib_entry\">\n<td class=\"bib_ref\">[SPIN]<\/td>\n<td class=\"bib_details\">\n<strong>The SPIN Tool (SPIN)<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/spinroot.com\/spin\/whatispin.html\">http:\/\/spinroot.com\/spin\/whatispin.html<\/a>\n<\/td>\n<\/tr>\n<tr id=\"SIMULINK\" class=\"bib_entry\">\n<td class=\"bib_ref\">[SIMULINK]<\/td>\n<td class=\"bib_details\">\n<strong>The SIMULINK Toolset<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/www.mathworks.com\/products\/simulink\">http:\/\/www.mathworks.com\/products\/simulink<\/a>\n<\/td>\n<\/tr>\n<tr id=\"ATRMC\" class=\"bib_entry\">\n<td class=\"bib_ref\">[ATRMC]<\/td>\n<td class=\"bib_details\">\n<strong>The ARTMC Tool<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/www.fit.vutbr.cz\/research\/groups\/verifit\/tools\/artmc\">http:\/\/www.fit.vutbr.cz\/research\/groups\/verifit\/tools\/artmc<\/a>\n<\/td>\n<\/tr>\n<tr id=\"CADP\" class=\"bib_entry\">\n<td class=\"bib_ref\">[CADP]<\/td>\n<td class=\"bib_details\">\n<strong>Construction and Analysis of Distributed Processes<\/strong>.<br \/>\nAvailable at <a href=\"http:\/\/cadp.inria.fr\/\">http:\/\/cadp.inria.fr<\/a>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>[UPPAAL] The UPPAAL Tool. Available at http:\/\/www.uppaal.com [PRISM] The probabilistic model checker PRISM. Available at http:\/\/www.prismmodelchecker.org [APMC] APMC: Approximate Probabilistic Model Checker. Available at http:\/\/sylvain.berbiqui.org\/apmc [SMV] The SMV Model Checker (SMV). Available at http:\/\/www.kenmcmil.com\/smv.html [SPIN] The SPIN Tool (SPIN). Available at http:\/\/spinroot.com\/spin\/whatispin.html [SIMULINK] The SIMULINK Toolset. Available at http:\/\/www.mathworks.com\/products\/simulink [ATRMC]\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/related-tools\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":232,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-451","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/451","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\/232"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=451"}],"version-history":[{"count":11,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/451\/revisions"}],"predecessor-version":[{"id":1160,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/451\/revisions\/1160"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=451"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}