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 249249
Downloads 100100
Data volume 783.7 GB783.7 GB
Unique views 219219
Unique downloads 7878


Cite as