Project

General

Profile

Feature #3789

Checking OCL constraints using SMT solving

Added by Andreas Bayha about 1 year ago.

Status:
New
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
08/05/2019
Due date:
% Done:

0%

Estimated time:

Description

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.

Also available in: Atom PDF