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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

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.
Glyph
A generic plug-in module interface.
VHDL Notepad++ Plugin
VHDL Plugin for the Notepad++ Editor
Integrals.jl
A common interface for quadrature and numerical integration
jul-javascript
JUL - The JavaScript UI Language