modelo formal

Sustantivo
  1. Representación estructurada y precisa de un sistema o concepto, utilizada para análisis o diseño.
    El modelo formal ayuda a verificar la consistencia del software.
synonyms: modelo matemático, modelo estructurado