Verificação de programas C++ baseados no framework crossplataforma Qt - Garcia, Mário Angel Praia (2016)