Tugurium/GTI

Glosario Terminología Informática

model checking

0 verificación de modelos
Método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático. El sistema se describe mediante un modelo, que debe satisfacer una especificación formal.
El modelo se expresa como un grafo dirigido con un conjunto de transiciones. A cada nodo se asocia un conjunto de proposiciones que representan los estados posibles de un sistema y los arcos las posibles evoluciones del mismo.
2008-06-09