{"id":207,"date":"2017-08-09T15:05:29","date_gmt":"2017-08-09T13:05:29","guid":{"rendered":"https:\/\/wp-systeme.lip6.fr\/estate\/?page_id=207"},"modified":"2022-10-07T18:24:57","modified_gmt":"2022-10-07T16:24:57","slug":"software","status":"publish","type":"page","link":"https:\/\/wp-systeme.lip6.fr\/estate\/software\/","title":{"rendered":"Software"},"content":{"rendered":"<ul>\n<li><a href=\"https:\/\/jbotsim.io\/\" target=\"_blank\" rel=\"noopener noreferrer\">JBotSim<\/a> Library: A simulation library for distributed algorithms in dynamic networks.<\/li>\n<li><a href=\"http:\/\/www-verimag.imag.fr\/~altisen\/PADEC\/\" target=\"_blank\" rel=\"noopener noreferrer\">PADEC<\/a> Library:\u00a0 A Framework for Certified Self-Stabilization (developed with the <a href=\"https:\/\/coq.inria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">proof assistant Coq<\/a>)<\/li>\n<li><a href=\"https:\/\/verimag.gricad-pages.univ-grenoble-alpes.fr\/synchrone\/sasa\">SASA<\/a>. The simulation engine SASA (<em>Self-stabilizing Algorithms SimulAtor<\/em>) offers numerous features helping the design, validation, and (empirical) evaluation of distributed self-stabilizing algorithms.<\/li>\n<\/ul>\n<pre>\u00a9 <a href=\"http:\/\/estate.lip6.fr\" target=\"_blank\" rel=\"noopener noreferrer\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-145\" src=\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1-300x208.jpg\" alt=\"\" width=\"50\" height=\"35\" srcset=\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1-300x208.jpg 300w, https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1.jpg 595w\" sizes=\"auto, (max-width: 50px) 100vw, 50px\" \/><\/a><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>JBotSim Library: A simulation library for distributed algorithms in dynamic networks. PADEC Library:\u00a0 A Framework for Certified Self-Stabilization (developed with the proof assistant Coq) SASA. The simulation engine SASA (Self-stabilizing Algorithms SimulAtor) offers numerous features helping the design, validation, and (empirical) evaluation of distributed self-stabilizing algorithms. \u00a9<\/p>\n","protected":false},"author":38,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-207","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/207","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/users\/38"}],"replies":[{"embeddable":true,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/comments?post=207"}],"version-history":[{"count":9,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/207\/revisions"}],"predecessor-version":[{"id":552,"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/pages\/207\/revisions\/552"}],"wp:attachment":[{"href":"https:\/\/wp-systeme.lip6.fr\/estate\/wp-json\/wp\/v2\/media?parent=207"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}