Generic Instantiation 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.

Project Activity

See All Activity >

Categories

UML

License

Eclipse Public License

Follow Event-B Generic Instantiation

Event-B Generic Instantiation Web Site

Other Useful Business Software
Get the most trusted enterprise browser Icon
Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
Download Chrome
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Event-B Generic Instantiation!

Additional Project Details

Registered

2012-12-25