Text this: Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas