rodin
There are 14 repositories under rodin topic.
cbritopacheco/rodin
Modern C++20 finite element method and shape optimization framework.
8bitprodigy/liver
A public-domain sans-serif font in the style of Microgramma/Eurostile/Goma/Shin-Go/Rodin/Saira, modeled with screens in mind.
eventB-Soton/Rodin-Bundles
Rodin Platform Bundles that include features developed by our group
luongnv89/Poker-Game
A Poker Game implementation
PatrickShaw/University-FIT3013-LiftSystemSpecification
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
Claydelas/formal-methods
Formal model and verification of a multi-cabin elevator system in Event-B/Rodin, with additional static verification in Ada/SPARK (not in repo), following a requirement specification.
hhu-stups/camille
(READ ONLY MIRROR) The Camille Editor for Rodin
ionutfinta/Event-B-Rodin-sumFunction
A function to sum your sets of integers in a flash !
ionutfinta/UNamur_INFOB236_GR4_FerryBoat
Projet de FerryBoat en Event-B Rodin
eventB-Soton/Rodin-Docker
Source code for building Docker images for running/developing Rodin
Naraujo13/Graph-Grammar-Translator
Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.
rnibhriain/formal-programming
Event-B :heavy_check_mark: formal specification, verification, and refinement assignments :microscope: for module: CA648