Vericação de programas C++ baseados no framework cross-plataforma Qt - Garcia, M??rio Angel Praia (2016)