Kind Gerwin, wrote:
> Hi Jorge,
> Raf has a copy of his formal B model available for download at:
> As for B licenses: we don't really know.
> Raf says he would advise against B, unless you or your institute already
> have some licenses available. You can always ask the manufacturers, though.
> The main tools are Atelier B and the B Tool, I think. There is also a new
> version of B coming from the RODIN project, but I don't think Raf's
> formalisation will be compatible with that.
This is my response:
Thank you very much, Raf´s advise against B, would be great, since we dont have any licenses.
Why is it that you think that Raf's formalization wont be compatible with the B version from RODIN?, anyhow, I've seen the website: http://rodin-b-sharp.sourceforge.net/, but it seems that project stoped six months ago.
Thank you very much,