From: Thai S. H. <ht...@in...> - 2013-02-28 13:41:56
|
Dear Rodin users, We are pleased to announce the release of a plug-in for generic instantiation. The tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files. General information about the plug-in can be found from the Event-B wiki. http://wiki.event-b.org/index.php/Generic_Instantiation_User_Guide Best regards, Son Sent with [inky: <http://inky.com?kme=signature>] |