Checking OCL constraints using SMT solving
This feature is implemented in course of a master thesis. The goal is to translate EMF models and OCL constraints to SMT for checking for correctness.
(from redmine: issue id 3789, created on 2019-08-05)
This feature is implemented in course of a master thesis. The goal is to translate EMF models and OCL constraints to SMT for checking for correctness.
(from redmine: issue id 3789, created on 2019-08-05)