Verde est un outil d'Interactive Runtime Verification (i-RV) conçu pour faciliter le débogage interactif de programmes. Il permet de vérifier dynamiquement des propriétés logicielles pendant l'exécution, en combinant des techniques de débogage traditionnel avec des vérifications automatiques. Adapté aux programmes C/C++ et Java, il offre une approche collaborative pour identifier et corriger les erreurs, réduisant ainsi le temps de développement et améliorant la fiabilité des logiciels.