Event-B Generic Instantiation download

A Rodin Platform Plug-in for Generic Instantiation

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 >

License

Eclipse Public License

Follow Event-B Generic Instantiation

Event-B Generic Instantiation Web Site

User Reviews

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

Additional Project Details

Registered

2012-12-25

Similar Business Software

XAML

XAML is a declarative markup language. As applied to the .NET Core programming model, XAML simplifies creating a UI for a .NET Core app. You can create visible UI elements in the declarative XAML markup, and then separate the UI definition from the run-time logic by using code-behind files that...

See Software
Slim Framework

Slim is an ideal tool to create APIs that consume, repurpose, or publish data. Slim is also a great tool for rapid prototyping. Heck, you can even build full-featured web applications with user interfaces. More importantly, Slim is super fast and has very little code. You don’t always need a...

See Software
Cloud Foundry

Cloud Foundry makes it faster and easier to build, test, deploy and scale applications, providing a choice of clouds, developer frameworks, and application services. It is an open source project and is available through a variety of private cloud distributions and public cloud instances. Cloud...

See Software