uppaal
EMF-based tooling for the UPPAAL model checker
EMF-based tooling for the UPPAAL model checker
This branch is 2 commits ahead of uppaal-emf:master.
Open a pull request to contribute your changes upstream.
EMF-based tooling for the UPPAAL model checker