Describir: Verificación de algoritmos concurrentes