Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.

Paula Herber, Florian Friedemann, Sabine Glesner

Browse the full TAP paper archive.