Systerel recently participated in the NII Shonan Meeting, held in Japan, on the theme “Formal Method Extensions to Support Domain Theories”.

The NII Shonan Meetings, managed by the National Institute of Informatics of Japan, provide a leading platform for international collaboration in computer science research. They bring together scientists, researchers and practitioners to exchange knowledge, discuss research results and explore cutting-edge topics.

During this event, the Systerel teams presented the work carried out by Dominique Cansell and Jean-Raymond Abrial as part of the ANR EBRP (Event-B Rodin Plus) project to model advanced mathematics theorems on the Rodin platform.

The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof. Systerel is proud to contribute to research efforts aimed at extending formal methods to utilize domain theories.

Learn more about formal methods.