[pt] Arquitetos de software têm optado cada vez mais por utilizar estratégias auto–organizáveis para o projeto de sistemas descentralizados dinâmicos e adaptativos, capazes de executar sem a interferência do usuário, administrador ou de outros sistemas. Esse processo de auto-organização muitas vezes resulta em comportamentos emergentes imprevistos, resultantes da interação entre os agentes do sistema. Comportamentos emergentes podem ser tanto benéficos quanto prejudiciais à execução e organização do sistema. Por esse motivo, um sistema multiagente auto-organizável só será utilizado em domínios de problema que envolvam qualquer tipo de risco - tais como indústrias, hospitais, equipamentos militares, etc. - se houver a possibilidade de garantir que ele será capaz de cumprir os seus objetivos de projeto. Entretanto, essa garantia não é simples de ser obtida, uma vez que é impossível mapear todas as possibilidades de comportamento de um sistema modelado através da interação de agentes. Algumas abordagens já foram propostas, mas suas aplicações normalmente são extremamente complexas. Portanto, este trabalho apresenta um novo método para a verificação experimental de sistemas multiagentes auto- organizáveis, evoluindo a técnica empírica de verificação proposta por Kevrekidis e complementando-a através de uma abordagem autonômica integrada à simplicidade da verificação dos planejadores em tempo-real. Como resultado, apresenta-se um framework para o projeto, verificação e simulação de sistemas multiagentes. / [en] Software architects have been recently adopting self-organizing strategies to design dynamic and adaptive decentralized systems capable of executing without interference from the user, from the administrator or from other systems. This self-organization process usually results in unpredicted emergent behaviors resulting from the interaction between the agents. Emergent behaviors can be beneficial or harmful to the system execution and organization. Because of this, multiagent systems will only be adopted into domains that involve risk - like industries, hospitals, military equipments, etc. - if one can guarantee that it will be able to fulfill its design goals. However, it is not easy to guarantee this, since it is impossible to map all the possible behaviors of a system modeled through agent interaction. Some approaches have already been proposed, but their use is usually extremely complex. Therefore, this work presents a new method for the experimental verification of self-organizing multiagent systems, evolving the empiric verification technique proposed by Kevrekidis and complementing it through an autonomic approach linked to the simplicity of the verification through online planners. As a result, a framework for designing, verifying and simulating multiagent systems is presented.