GitHub repository: uppaal-emf/uppaal
Primary language: Java
Created: 2017-03-30T08:53:46Z
Description: EMF-based tooling for the UPPAAL model checker