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

Other Useful Business Software

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free

Rate This Project

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