Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Report Open Access

Deliverable D4.2 Infrastructural Model and code verification – v2

Michele Chiari, Matteo Pradella

This deliverable describes the development of the model checking tool for IaC in the PIACERE project.
The DOML Model Checker (KR5) performs consistency checks on DOML models provided by the user, highlight-ing common mistakes and issues that might prevent the specified infrastructure from being deployed success-fully. KR5 can be run as a stand-alone service that can be accessed through REST APIs and has been integrated with the PIACERE IDE (KR2) to offer a graphical interface to the user.
This deliverable describes KR5 in terms of user interface, functionalities, software architecture and implementa-tion choices.

Files (1.5 MB)
Name Size
D4.2 - Infrastructural model and code verification - v2 - v1.0.pdf
1.5 MB Download
All versions This version
Views 2323
Downloads 2222
Data volume 33.8 MB33.8 MB
Unique views 2121
Unique downloads 2121


Cite as