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