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
Tools to provide front-end to work with Rebeca code
Â
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.
-
First of all, make small chunks of the Rebecca code according to their functionality and see what they are doing.
-
Search over the internet for their translated code by searching them on the basis of what they are doing.
-
After that, do this for the rest of the chunks until you get a complete translated code.
-
After that, you can translate it into SPIN or NuSMV accordingly.
Â