From: Issam M. <im...@ec...> - 2009-12-01 15:44:52
|
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 |