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
Plugin_GenInst	2015-09-09		0
Examples	2015-01-19		0
Documentations	2013-03-11		0
Totals: 3 Items			0

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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
Image classification models for Keras
Keras code and weights files for popular deep learning models
egg-core
A core Pluggable framework based on koa
VHDL Notepad++ Plugin
VHDL Plugin for the Notepad++ Editor
Integrals.jl
A common interface for quadrature and numerical integration