Defesa da Dissertção de Mestrado: Um mecanismo baseado em logs com meta-informações para a verificação de contratos em sistemas distribuídos.