@MASTERSTHESIS{ 2016:112812464,
 	title = {Verifica??o de programas C++ baseados no framework crossplataforma Qt},
 	year = {2016},
 	url = "http://tede.ufam.edu.br/handle/tede/5492",
 	abstract = "O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o
 que na maioria das vezes acarreta em um aumento da complexidade associada a esse tipo de
 projeto. Como consequ?ncia, as empresas de eletr?nica de consumo costumam investir recursos
 em mecanismos de verifica??o r?pida e autom?tica, com o intuito de desenvolver sistemas
 robustos e assim reduzir as taxas de recall de produtos. Al?m disso, a redu??o no tempo de
 desenvolvimento e na robustez dos sistemas desenvolvidos podem ser alcan?ados atrav?s de
 frameworks multi-plataformas, tais como Qt, que oferece um conjunto de bibliotecas (gr?ficas)
 confi?veis para v?rios dispositivos embarcados. Desta forma, este trabalho prop?e uma vers?o
 simplificada do framework Qt que integrado a um verificador baseado nas teorias do m?dulo
 da satisfatibilidade, denominado Efficient SMT-Based Bounded Model Checker (ESBMC++),
 verifica aplica??es reais que ultilizam o Qt, apresentando uma taxa de sucesso de 89%, para
 os benchmarks desenvolvidos. Com a vers?o simplificada do framework Qt proposto, tamb?m
 foi feita uma avalia??o ultilizando outros verificadores que se encontram no estado da arte para
 verifica??o de programas em C++ e uma avali??o a cerca de seu n?vel de conformidade. Dessa
 maneira, a metodologia proposta se afirma como a primeira a verificar formalmente aplica??es
 baseadas no framework Qt, al?m de possuir um potencial para desenvolver novas frentes para a
 verifica??o de c?digo port?til.",
 	publisher = {Universidade Federal do Amazonas},
 	scholl = {Programa de P?s-gradua??o em Engenharia El?trica},
 	note = {Faculdade de Tecnologia}
}