verificação através de ACSP