CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution.

Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler

Browse the full DDECS paper archive.