Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 
 
 

EMFtoCSP

EMFtoCSP is a tool for the automatic verification of UML or EMF models annotated with OCL constraints. It can check automatically several correctness properties about the model, such as the satisfiability of the model or the lack of contradictory constraints.

If you want to find out more about EMFtoCSP, you can read our papers EMFtoCSP: A Tool for the Lightweight Verification of EMF Models, FormSERA 2012 and On the verification of UML/OCL class diagrams using constraint programming. Journal of Systems and Software 93: 1-23 (2014)

Authors

EMFToCSP is currently maintained by the SOM research group from the Open University of Catalonia.

Installation and Usage

Check the wiki.

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published