Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho

The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer elec…