This repository shares Formal xDSLs built in Meeduse (https://vasco.imag.fr/tools/meeduse/). To play with the underlying B specifications you can use ProB (https://prob.hhu.de) in standalone by taking the valued formal models from folders /model/animation/Values.
- GpuServer: A GPU scheduler discussed in: https://doi.org/10.1007/978-3-030-63461-2_19
- IdmDay: A simple train DSL presented at the IDM Day 2021 (https://vimeo.com/552239208).