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

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start 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
SpecFlow

SpecFlow makes test automation easier by turning it into a team effort and allowing every role to better use their skills. Don’t waste your time searching for the correct definition across your binding classes, just right-click and jump to the relevant code. Hooks (event bindings) can be used to...

See Software
Polymer

The Polymer library provides a set of features for creating custom elements. These features are designed to make it easier and faster to make custom elements that work like standard DOM elements. Similar to standard DOM elements, Polymer elements can be instantiated using a constructor or...

See Software
Percona Kubernetes Operator

The Percona Kubernetes Operator for Percona XtraDB Cluster or Percona Server for MongoDB automates the creation, alteration, or deletion of members in your Percona XtraDB Cluster or Percona Server for MongoDB environment. It can be used to instantiate a new Percona XtraDB Cluster or Percona...

See Software