{"id":34,"date":"2011-11-17T02:33:52","date_gmt":"2011-11-17T02:33:52","guid":{"rendered":"http:\/\/newrsbook.cs.aau.dk\/?page_id=34"},"modified":"2016-02-23T12:46:55","modified_gmt":"2016-02-23T12:46:55","slug":"tools","status":"publish","type":"page","link":"https:\/\/rsbook.cs.aau.dk\/?page_id=34","title":{"rendered":"Tools"},"content":{"rendered":"<ul>\n<li><a href=\"http:\/\/caal.cs.aau.dk\">CAAL &#8211; Concurrency Workbench Aalborg Edition<\/a> (tool that we now use in our courses, CCS editor, visualizer and verifier, includes also games).<\/li>\n<li><a title=\"http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/\" href=\"http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/\" rel=\"nofollow\">The Edinburgh Concurrency Workbench<\/a><\/li>\n<li><a title=\"http:\/\/www.uppaal.com\/\" href=\"http:\/\/www.uppaal.com\/\" rel=\"nofollow\">UPPAAL<\/a><\/li>\n<li><a title=\"http:\/\/www.brics.dk\/bisim\/\" href=\"http:\/\/www.brics.dk\/bisim\/\" rel=\"nofollow\">The Bisimulation Game Game (including the CCS visualizer and simulator)<\/a><\/li>\n<li><a title=\"http:\/\/www.cs.sunysb.edu\/~cwb\/\" href=\"http:\/\/www.cs.sunysb.edu\/%7Ecwb\/\" rel=\"nofollow\">Concurrency Workbench of the New Century<\/a><\/li>\n<li><a title=\"http:\/\/www.mcrl2.org\/\" href=\"http:\/\/www.mcrl2.org\/\" rel=\"nofollow\">mCRL2<\/a><\/li>\n<li><a title=\"http:\/\/www.inrialpes.fr\/vasy\/pub\/cadp\/\" href=\"http:\/\/www.inrialpes.fr\/vasy\/pub\/cadp\/\" rel=\"nofollow\">CADP<\/a><\/li>\n<li><a title=\"http:\/\/maude.cs.uiuc.edu\/maude1\/casestudies\/ccs\/\" href=\"http:\/\/maude.cs.uiuc.edu\/maude1\/casestudies\/ccs\/\" rel=\"nofollow\">CCS in Maude<\/a>. Thanks to Mikito Iwamasa (System Engineering Laboratory, Corporate R&amp;D Center, Toshiba Corp.) for pointing out this link.<\/li>\n<li><a title=\"http:\/\/www.hvergi.net\/arnar\/code\/haskell-ccs\/\" href=\"http:\/\/www.hvergi.net\/arnar\/code\/haskell-ccs\/\" rel=\"nofollow\">CCS+HML in Haskell<\/a> courtesy of <a title=\"http:\/\/www.hvergi.net\/arnar\/\" href=\"http:\/\/www.hvergi.net\/arnar\/\" rel=\"nofollow\">Arnar Birgisson<\/a><\/li>\n<li><a title=\"http:\/\/iben.sourceforge.net\/\" href=\"http:\/\/iben.sourceforge.net\/\" rel=\"nofollow\">IBEN<\/a> (for readers who want to play with Binary Decision Diagrams)<\/li>\n<li><a href=\"http:\/\/people.cs.aau.dk\/~adavid\/BDD\/\">Ruby-BDD<\/a> (BDD binding for Ruby)<\/li>\n<li><a href=\"http:\/\/www.tapaal.net\">TAPAAL<\/a> (verification of timed-arc Petri nets)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>CAAL &#8211; Concurrency Workbench Aalborg Edition (tool that we now use in our courses, CCS editor, visualizer and verifier, includes also games). The Edinburgh Concurrency Workbench UPPAAL The Bisimulation Game Game (including the CCS visualizer and simulator) Concurrency Workbench of the New Century mCRL2 CADP CCS in Maude. Thanks to Mikito Iwamasa (System Engineering Laboratory, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-34","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=34"}],"version-history":[{"count":5,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34\/revisions"}],"predecessor-version":[{"id":90,"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/34\/revisions\/90"}],"wp:attachment":[{"href":"https:\/\/rsbook.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}