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

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

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