[Rodin-b-sharp-user] Event-b Rule-based Prover v0.0.1 released

[Issam M. <im...@ec...>]

Dear All,

 

The first version of the Rule-based prover has been released and is
available for download through the Rodin update site:

                http://rodin-b-sharp.sourceforge.net/updates

 

The wiki has a dedicated page on this plug-in accessible at
http://wiki.event-b.org/index.php/Rule-based_Prover_Plug-in

where the user manual is also available.

 

If you have any problems, question or comments about the plug-in, please do
not hesitate to contact me.

 

Kind Regards

 

Issam Maamria

E-mail: im...@ec...

Dependable Systems and Software Engineering Group

School of Electronics and Computer Science

University of Southampton

England, UK