QtOM
An abstract representation of the Qt Cross-Platform Framework integrated into ESBMC++ for verifying Qt/C++ programs.
Qt Operational Model (QtOM) is an abstract representation of the Qt Cross-Platform Framework. QtOM is integrated into a bounded model checking (BMC) tool based on satisfiability modulo theories (SMT), known as the Efficient SMT-based Context-Bounded Model Checker (ESBMC++), in order to verify specific properties in Qt/C++ programs.