A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)
[article]
2015
arXiv
pre-print
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 electronics companies usually invest a lot of resources in fast and automatic verification processes, in order to create robust systems and reduce product recall rates. Because of that, the present paper proposes a simplified version of the Qt framework, which is integrated into the Efficient SMT-Based Bounded Model
arXiv:1509.01682v1
fatcat:kmp2rpvz4fchpi5qxookpvy7le