N.B. This page is under construction... last update: July 10th 2018.

Availability

Meeduse is freely distributed to academic institutions for non-profit use.

To get Meeduse please contact akram.idani at imag.fr

Meeduse: Mix of Sirius and the B Method

This demo shows how to use Meeduse in order to define a simple counter with underlying formal operational semantics. It combines B and Sirius.

You need Flash Player to view this video.

Meeduse: Mix of Xtext and the B Method

This demo shows how to use Meeduse in order to define a simple buffer DSL with underlying formal operational semantics. It combines B and XText.

Meeduse overview