Contains the keyword SMT-solvers

Semeráth O, Babikian AA, Li A, Marussy K, Varró D. Automated Generation of Consistent Models with Structural and Attribute Constraints. In: Syriani E, Sahraoui H, editors. 23rd International Conference on Model Driven Engineering Languages and Systems. Canada: ACM / IEEE; 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
Syndicate content