Rdbg est un débogueur programmable ciblant les programmes réactifs pour lesquels un plugin rdbg existe. Il permet l'analyse du comportement de systèmes synchrones et la vérification de la correctitude de programmes concurrents.