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	InfoDownloads / Week
Plugin_GenInst	2015-09-09	6
Examples	2015-01-19	3
Documentations	2013-03-11	4
Totals: 3 Items		13

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

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...
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...
Istar 1
UIDiagram is visual modeling tool designed for fast creating GUIs targeted to mobile applications based on Web Services. UIDiagram is a part of Istar project. For more information visit project web site.
JAS-mine
JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible...

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