Bounded model checking of C++ programs based on the Qt cross-platform framework
The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, technology companies tend to invest in fast and automatic verification mechanisms, in order to create robust systems and reduce produ...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Wiley
2017
|