Bounded Model Checking of C plus plus Programs Based on the Qt Framework

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

Formal Methods

Research output: Other contribution › peer-review

Original language	English
Publication status	Published - 2015

Keywords

Qt framework
Bounded Model Checking

Access to Document

https://arxiv.org/pdf/1509.01682.pdf

Cite this