Monday, January 29, 2007

B licenses

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.
> Cheers,
> Gerwin

This is my response:

Hi Gerwin,

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:, but it seems that project stoped six months ago.

Thank you very much,


No comments: