Event-B Generic Instantiation Files

A Rodin Platform Plug-in for Generic Instantiation

Status: Alpha

Brought to you by: fuersta, hitachi-ethz, naotosato, tshoang

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ChannelSet.zip	2013-03-11	8.2 kB	1
GI_Plugin_UserGuide_1_0_2.pdf	2013-02-11	1.2 MB	0
epl-v10.pdf	2013-01-30	34.2 kB	0
Totals: 3 Items		1.2 MB	1

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

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

StructuredXmlEditor
An editor for structured xml, providing a graphical interface. This allows you to specify the format of the xml file using a definition file. This definition is then converted into a graphical editor that allows simple editing. Click 'create new' to be led through the process of creating the...
egg-core
A core Pluggable framework based on koa. EggLoader can easily load files or directories in your egg project. In addition, you can customize the loader with low-level APIs. Retrieve application environment variable values via serverEnv. You can access it directly by calling this.serverEnv after...
KlassModeler
The KlassModeler is a cross platform tool for visually creating C++ classes and class relationships. It generates attractive header files as well as HTML Documentation. An intuitive user interface makes it easy to work with large, complex models.
Linguistic Tree Constructor
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their...
Repository
Repository is a collection of tools used to create various projects, modules, packages, frameworks from templates. These tools are based on unified mechanism of template description and instantiation. The main goal of this mechanism is to provide a way to

Event-B Generic Instantiation Files

A Rodin Platform Plug-in for Generic Instantiation

Get an email when there's a new version of Event-B Generic Instantiation