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
README.md	2015-01-19	68 Bytes	0
Stack-141119.pdf	2015-01-19	546.7 kB	0
Stack-141119.zip	2015-01-19	33.4 kB	0
Totals: 3 Items		580.2 kB	0

This folder contains examples for the Generic Instantiation plug-in.

Source: README.md, updated 2015-01-19

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

eProcurement Software

Enterprises and companies seeking a solution to manage all their procurement operations and processes

eBuyerAssist by Eyvo is a cloud-based procurement solution designed for businesses of all sizes and industries. Fully modular and scalable, it streamlines the entire procurement lifecycle—from requisition to fulfillment. The platform includes powerful tools for strategic sourcing, supplier management, warehouse operations, and contract oversight. Additional modules cover purchase orders, approval workflows, inventory and asset management, customer orders, budget control, cost accounting, invoice matching, vendor credit checks, and risk analysis. eBuyerAssist centralizes all procurement functions into a single, easy-to-use system—improving visibility, control, and efficiency across your organization. Whether you're aiming to reduce costs, enhance compliance, or align procurement with broader business goals, eBuyerAssist helps you get there faster, smarter, and with measurable results.

Learn More

Recommended Projects

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
VHDL Notepad++ Plugin
VHDL Plugin for the Notepad++ Editor
Generic Graphics Toolkit
The Generic Graphics Toolkit is a library of generic programming primitives that allow applications to be written that adapt to whatever underlying graphics system the developer is using.
EDIFACT Viewer
Generic viewer for UN/EDIFACT files and interpreter for MSCONS and ORDRSP messages
Turndown
An HTML to Markdown converter written in JavaScript

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