Tools to provide front-end to work with Rebeca code

Asked By 60 points N/A Posted on -
qa-featured

Hi friends

Can any one tell me the names of tools which provide front-end using Rebeca code, and translate Rebeca code into input languages like SPIN and NuSMV?

Thanks

SHARE
Answered By 0 points N/A #110252

Tools to provide front-end to work with Rebeca code

qa-featured

 

As far as I know there is no such tool that gives you the exact translation of the Rebecca code into the SPIN or in any other format. However you can translate the code by yourself by following the steps below.

  1. First of all, make small chunks of the Rebecca code according to their functionality and see what they are doing.
  2. Search over the internet for their translated code by searching them on the basis of what they are doing.
  3. After that, do this for the rest of the chunks until you get a complete translated code.
  4. After that, you can translate it into SPIN or NuSMV accordingly.

 

Related Questions