Verificação formal e análise de sistemas concorrentes Conceito