GitHub repository: snursmumrik/rms2
Primary language: Java
Description: Rodin Multi-Simulation for the ProB 2.0