Memória transacional em software é um modelo utilizado para tratar acesso concorrente a dados compartilhados, onde programadores não precisam lidar explicitamente com mecanismos de controle de concorrência, como emph{locks}. o programador por sua vez, apenas delineia qual parte do código necessita ser tratado como concorrente e sua execução seguirá o modelo transacional, respeitando as propriedades: atomicidade, consistência e isolação. é proposto nessa dissertação um modelo denominado mesobi: emph{memória transacional em software tolerante a faltas bizantinas} onde transações somente leitura não abortam. existem algumas abordagens na literatura que utilizam memória transacional em software, grande parte tolera faltas de parada e pouco se fala sobre faltas maliciosas. somente o trabalho de zhang cite{zhang2012} faz menção a tolerância a faltas bizantinas no contexto de stm, sua proposta utiliza dois clusters para alcançar tolerância a faltas bizantinas. no modelo de zhang, transações somente leitura podem ser abortadas, não é suportada a execução de transações interativas e não é possível executar transações de forma otimista. o mesobi permite alcançar tolerância a faltas bizantinas utilizando $(3{it f}+1)$ réplicas, sendo que, emph{f} é o número de faltas toleradas. o modelo consiste em inicialmente tentar executar as transações de forma otimista sem a necessidade de executar o protocolo bizantino. transações conflitantes localmente não são iniciadas de imediato, com isso evita-se trabalho improdutivo. testes de execução e consistência comprovam que é possível e viável a execução de transações pré-declaradas e interativas no mesmo ambiente, sendo que, transações interativas têm pior desempenho devido a sua maior troca de mensagens.