large embedded software

Continuous verification of large embedded software using SMT-based bounded model checking

FREE-DOWNLOAD [PDF] L Cordeiro, B Fischer… – 2010 17th research
The complexity of software in embedded systems has in- creased significantly over the last years
so that software ver- ification now plays an important role in ensuring the over- all product
quality. In this context, bounded model check- ing has been successfully applied to