Ce projet fournit les artefacts et preuves de concept pour Verde et Dist-Verde, deux implémentations interactives de vérification à l'exécution. Il inclut des archives contenant les artefacts logiciels ainsi que leur documentation respective pour faciliter l'évaluation et l'utilisation par des chercheurs ou développeurs en informatique.