/EMFtoCSP

Bounded verification of UML/OCL (or EMF/OCL) models

Primary LanguageJavaEclipse Public License 1.0EPL-1.0

Stargazers