GitHub repository: mediator-team/mediator
Primary language: Java
Created: 2017-11-01T14:03:06Z
Description: a formal modeling tool that helps build reliable models and codes