GitHub repository: sefanja/juppaal
Primary language: Java
Description: Java API for working with UPPAAL model files