GitHub repository: klar42/railground
Primary language: Java
Created: 2016-04-29T09:27:11Z
Description: This is a playground for studying railway models using formal methods.