Presentation is loading. Please wait.

Presentation is loading. Please wait.

April 2009 CCS T OOLS Keywords: - Concurrency Workbench - CCS visualizer and simulator - The Bisimulation Game Game.

Similar presentations


Presentation on theme: "April 2009 CCS T OOLS Keywords: - Concurrency Workbench - CCS visualizer and simulator - The Bisimulation Game Game."— Presentation transcript:

1 April 2009 CCS T OOLS Keywords: - Concurrency Workbench - CCS visualizer and simulator - The Bisimulation Game Game

2 Marco CarboneCCS: Equivalences Apr 20, 2009 Concurrency Workbench [ Edinburgh Concurrency Workbench ] (Google it)Concurrency Workbench P   testing (interactive simulation)  verification (via logic formulae)  dump transition graph (NFA) ... From a shell: ‘ssh Exec: ‘ /import/home/maca/public_html/AMP2009/cwb/bin/cwb ’ How can I use it?

3 Marco CarboneCCS: Equivalences Apr 20, 2009 The Concurrency Workbench CWB: Recommendation: try it out CWB:> input “PandQ.ccs”; CWB:> sim(P); // run the built-in simulator CWB:> output “P.graph”; // name output file CWB:> graph(P); // output for CCS visualizer and simulator CWB:> strongeq(P,Q); // strong bisimilarity CWB’s answer CWB:> eq(P,Q); // weak bisimilarity CWB’s answer

4 Marco CarboneCCS: Equivalences Apr 20, 2009

5 Marco CarboneCCS: Equivalences Apr 20, 2009 CCS Visualizer and Simulator [ CCS Visualizer and Simulator ]CCS Visualizer and Simulator [ ] [ /users/courses/dSem/bin/cv ]

6 Marco CarboneCCS: Equivalences Apr 20, 2009 The Bisimulation Game It’s Amazing… The Bisimulation Game ® Special Family Edition (w/ TV cables & remote control) Beat your sister at Process Algebra simulation… “Special Family Edition!” “ The Bisimulation Game ” Only $31,95 The Bisimulation Game [ ]


Download ppt "April 2009 CCS T OOLS Keywords: - Concurrency Workbench - CCS visualizer and simulator - The Bisimulation Game Game."

Similar presentations


Ads by Google