Especificação e Verificação de Software Conceito