Archivo de etiquetas para: checking

La verificación de modelos (o Model checking) es un método automático de verificación de un siste…