Verificación de Modelos
La verificación de modelos permite verificar si el modelo de un sistema tiene o no cierta propiedad. Cuando no la tiene, normalmente el modelo se modifica manualmente. Se investigan métodos para que dicha modificación (actualización) se realice mecánicamente. También se aplica verificación al estudio y modelado de redes genéticas y a sistemas inmersos ("embedded") para la verificación de programas.