Estudiantes: Validación de modelos: Promela y Spin