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
ch.ethz.eventb.utils.tests.source_0.2.4.release.jar	2017-11-22	17.5 kB	0
ch.ethz.eventb.utils.tests_0.2.4.release.jar	2017-11-22	26.8 kB	0
ch.ethz.eventb.utils.source_0.2.4.release.jar	2017-11-22	14.4 kB	0
ch.ethz.eventb.utils_0.2.4.release.jar	2017-11-22	17.7 kB	0
ch.ethz.eventb.utils.tests.feature_0.2.4.release.jar	2017-11-22	3.5 kB	0
ch.ethz.eventb.utils.tests.source.feature_0.2.4.release.jar	2017-11-22	442 Bytes	0
ch.ethz.eventb.utils.sdk_0.2.4.release.jar	2017-11-22	3.5 kB	0
ch.ethz.eventb.utils.source.feature_0.2.4.release.jar	2017-11-22	419 Bytes	0
ch.ethz.eventb.utils_feature_0.2.4.release.jar	2017-11-22	3.7 kB	0
Totals: 9 Items		87.9 kB	0

Event-B Utilities Package

This package provides additional functionalities to manipulate Event-B components. There are different bundles for the package can be installed via the update site (RODIN sourceforge update site).

ch.ethz.eventb.utils_feature_x.x.x.x.jar The basic feature containing the binary build of the package.
ch.ethz.eventb.utils.tests.feature_x.x.x.x.jar The tests feature.
ch.ethz.eventb.utils.sdk_x.x.x.x.jar The SDK feature containing the source code and tests used for development.

The complete source code of the package can be downloaded as a zip file ch.ethz.eventb.utils_x.x.x.zip

Release history

Version 0.2.4 - Implement method to get invariants

add method getSCInvariants() to EventBSCUtils to get the invariants from statically checked machine.
Create a new Tests feature
Change the SDK feature to generate source features.

Version 0.2.3 - Implement method to get variables' type

add method getVariableType(…) to EventBSCUtils to get the type of a variable from the statically checked machine

Added utilitities related to Event-B UI: Event-B content provider, Event-B label provider, Event-B viewer filter.

Version 0.2.1 - Publish the SDK feature

Published the SDK feature of the package.
Changed the structure of the tests plugin.

Source: README.md, updated 2017-11-22

Other Useful Business Software

Turn traffic into pipeline and prospects into customers Icon

Turn traffic into pipeline and prospects into customers

For account executives and sales engineers looking for a solution to manage their insights and sales data

Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.

Learn More

Iris Powered By Generali - Iris puts your customer in control of their identity. Icon

Iris Powered By Generali - Iris puts your customer in control of their identity.

Increase customer and employee retention by offering Onwatch identity protection today.

Iris Identity Protection API sends identity monitoring and alerts data into your existing digital environment – an ideal solution for businesses that are looking to offer their customers identity protection services without having to build a new product or app from scratch.

Learn More

Turn traffic into pipeline and prospects into customers

For account executives and sales engineers looking for a solution to manage their insights and sales data

Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.

Learn More

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs