Text this: Verificación formal de árboles rojinegros