Text this: Verificación formal de protocolos distribuidos