Search Results for "rodin"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

.... ## June 2026 Release The June 2026 release is the second major release and marks the name change from **Glowcean-3D** to **Hundred Days Under Sea**. This release removes the prepared slots for non-free models and replaces them with new own models created by the author, with major assistance from Rodin AI and Trellis2. The underwater scenery has also been expanded with new hills and coral-decorated landscape elements. A major highlight is the redesigned setup interface, now implemented in Qt Quick, which allows realtime changes for many sliders. 100dus is free and open-source software. The source code and included assets are distributed under the licenses listed in the project files.

EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications: * Java with MySQL backend (JDBC) * Java with SQLite backend (JDBC) * Java for Android with native SQLite backend * PHP with MySQL backend (PDO) EventB2SQL can translate abstract Event-B models that use features such as: * enumerated sets * variables of set and relation types * simultaneous assignment * set comprehensions * quantified assertions See the wiki for installation instructions and brief usage examples.

Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files.

An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library)

VanGogh is our vision of a maximal flexible Content Management System (CMS). VanGogh was originally based on Rodin 1.4.6 (http://rodin.lot23.com/) but has quickly moved its focus to a more flexible design yet staying as lightweight as possible.

Rodin (Relational Object Dbms Implementing java binding in a Not-proprietary way) is a free implementation of Matisse, the proprietary object database. This project is still in early stage of developpement.