Modelagem e verificação formal de sistemas Conceito