Verde est un plugin GDB écrit en Python qui vise à aider les développeurs lors des sessions de débogage interactif en utilisant la vérification d'exécution. Il permet de détecter les violations de propriétés et de déclencher des actions spécifiques lorsque cela se produit, comme donner accès au développeur au prompt du débogueur.