Software Open Access

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints"

Oszkár Semeráth; Aren Babikian; Anqi Li; Kristóf Marussy; Dániel Varró

This deposit contains a virtual machine image for the paper "Automated Generation of Consistent Models with Structural and Attribute Constraints".

The image can be imported into a virtualization environment using the standard .ova format. We recommend using VirtualBox 6.1.10 or later.

For optimum performance, you should increase the memory size and number of CPU cores of the virtual machine to as large as feasible before starting it.

When running the image, you may log in with the models user using the password models20.

Further instructions are provided in the file in the home folder. Select Places > Home from the top bar menu and double-click to access them.

All code of the VIATRA-Generator project is available under the Eclipse Public License v1.0. This virtual machine also contains open-source code from other projects, which are available under their respective licenses.

Files (11.4 GB)
Name Size
1.1 kB Download
11.4 GB Download
All versions This version
Views 161161
Downloads 7575
Data volume 613.4 GB613.4 GB
Unique views 144144
Unique downloads 5757


Cite as