Os sistemas de software actuais est o a aumentar tremendamente de tamanho. Este facto torna a verifica o e valida o destes sistemas uma tarefa cada vez mais dif cil. N o s a dimens o dos sistemas aumenta, como tamb m necess rio desenvolver e suportar um n mero crescente de funcionalidades e formalismos para modelar e analisar aplica es reais. Cada sistema representado sob a forma de um modelo. Existem muitas nota es de modela o dispon veis,...