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