Scalable and Optimized Hybrid Verification of Embedded Software

Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Scalable and Optimized Hybrid Verification of Embedded Software. J. Electronic Testing, 31(2):151-166, 2015. [doi]

Abstract

Abstract is missing.